Synthesis Approach to Digital System Design

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.Michel, Petra is the author of 'Synthesis Approach to Digital System Design', published 1992 under ISBN 9780792391999 and ISBN 0792391993.