The Synthesis Approach to Digital System Design

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