Switch-level timing models in the MOS simulator BRASIL. - H. Warmers; D. Sass; Ernst-Helmut Horneber (EURO-DAC, 1990)