Abstract :
In this paper we review some of the recent developments in the automated design and analysis of digital systems. The areas of gate level simulation, synthesis, partitioning, interconnection and fault test generation are discussed, and new algorithms in each of these areas are presented and compared.
