Michel R. C. M. Berkelaar

According to our database, Michel R. C. M. Berkelaar authored at least 14 papers between 1988 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

Layout Driven Optimization of Datapath Circuits using Arithmetic Reasoning.

Ingmar Neumann, Dominik Stoffel, Kolja Sulimma, Michel R. C. M. Berkelaar, Wolfgang Kunz

Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2004

2002

Efficient and Effective Redundancy Removal for Million-Gate Circuits.

Michel R. C. M. Berkelaar, Koen van Eijk

Proceedings of the 2002 Design, 2002

2000

Gate Sizing Using a Statistical Delay Model.

E. T. A. F. Jacobs, Michel R. C. M. Berkelaar

Proceedings of the 2000 Design, 2000

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

Efficient exact and heuristic minimization of hazard-free logic.

J. W. J. M. Rutten, Michel R. C. M. Berkelaar

Proceedings of the International Conference on Computer Design: VLSI in Computers and Processors, 1998

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

Proceedings of the 1998 Design, 1998

1997

Improved State Assignment for Burst Mode Finite State Machines.

J. W. J. M. Rutten, Michel R. C. M. Berkelaar

Proceedings of the 3rd International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

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

Polarized observability don't cares.

Harm Arts, Michel R. C. M. Berkelaar, C. A. J. van Eijk

Proceedings of the 1996 IEEE/ACM International Conference on Computer-Aided Design, 1996

1995

Efficient orthonormality testing for synthesis with pass-transistor selectors.

Michel R. C. M. Berkelaar, Lukas P. P. P. van Ginneken

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

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

Proceedings of the 1995 IEEE/ACM International Conference on Computer-Aided Design, 1995

1994

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

Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design, 1994

1990

Gate sizing in MOS digital circuits with linear programming.

Michel R. C. M. Berkelaar, Jochen A. G. Jess

Proceedings of the European Design Automation Conference, 1990

1988

Technology mapping for standard-cell generators.

Michel R. C. M. Berkelaar, Jochen A. G. Jess

Proceedings of the 1988 IEEE International Conference on Computer-Aided Design, 1988