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.

This publication has 39 references indexed in Scilit: