ABSTRACT
In the electronics industry, the superlinear growth of the number of components and integrated circuit complexity described by Moore’s law (Moore 1965) caused a new discipline to be born soon after the „rst integrated circuit was introduced (Kilby 1964). is discipline is electronic design automation (EDA), also called Computer Aided Design (CAD). It encompasses and supports all levels of abstraction present in the development and design of an integrated electronic system. With today’s typical integrated circuit transistor count exceeding a billion per chip, it is impossible to imagine how such complexity could be managed in the design and veri„cation phases without the support of a suite of advanced automation tools.
