Technology mapping for standard-cell generators. - Michel R. C. M. Berkelaar; Jochen A. G. Jess (ICCAD, 1988)

Gate sizing in MOS digital circuits with linear programming. - Michel R. C. M. Berkelaar; Jochen A. G. Jess (EURO-DAC, 1990)

Computing the entire active area/power consumption versus delay trade-off curve for gate sizing with a piecewise linear simulator. - Michel R. C. M. Berkelaar; Pim H. W. Buurman; Jochen A. G. Jess (ICCAD, 1994)

Efficient use of large don't cares in high-level and logic synthesis. - Reinaldo A. Bergamaschi; Daniel Brand; Leon Stok; Michel R. C. M. Berkelaar; Shiv Prakash (ICCAD, 1995)

Efficient orthonormality testing for synthesis with pass-transistor selectors. - Michel R. C. M. Berkelaar; Lukas P. P. P. van Ginneken (ICCAD, 1995)

Polarized observability don't cares. - Harm Arts; Michel R. C. M. Berkelaar; C. A. J. van Eijk (ICCAD, 1996)

Computing the entire active area/power consumption versus delay tradeoff curve for gate sizing with a piecewise linear simulator. - Michel R. C. M. Berkelaar; Pim H. W. Buurman; Jochen A. G. Jess (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1996)

Improved State Assignment for Burst Mode Finite State Machines. - J. W. J. M. Rutten; Michel R. C. M. Berkelaar (ASYNC, 1997)

An Efficient Divide and Conquer Algorithm for Exact Hazard Free Logic Minimization. - J. W. J. M. Rutten; Michel R. C. M. Berkelaar; C. A. J. van Eijk; M. A. J. Kolsteren (DATE, 1998)

Efficient exact and heuristic minimization of hazard-free logic. - J. W. J. M. Rutten; Michel R. C. M. Berkelaar (ICCD, 1998)

Computing observability don't cares efficiently through polarization. - Harm Arts; Michel R. C. M. Berkelaar; Koen van Eijk (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 1998)

Gate Sizing Using a Statistical Delay Model. - E. T. A. F. Jacobs; Michel R. C. M. Berkelaar (DATE, 2000)

Efficient and Effective Redundancy Removal for Million-Gate Circuits. - Michel R. C. M. Berkelaar; Koen van Eijk (DATE, 2002)

Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning. - Ingmar Neumann; Dominik Stoffel; Kolja Sulimma; Michel R. C. M. Berkelaar; Wolfgang Kunz (ICCD, 2004)