The Synthesis Approach to Digital System Design (The Springer International Series in Engineering and Computer Science)

The Synthesis Approach to Digital System Design is designed as a reference and a textbook that provides a broad comprehensive presentation of state-of-the-art techniques and algorithms used in high-level design description, synthesis and verification. By using a complete, high-level design system as a vehicle for the text, the authors have captured a number of the essential aspects of high-level design methods as well as the basic algorithms and data structures that support them. The text is an excellent starting point for the developers of new high-level design aids and for potential users of such systems as well.