The Synthesis Approach to Digital System Design - the Springer International Series in Engineering and Computer Science

Marc Notes: Includes bibliographical references (p. [373]-403) and index. Review Quotes: 'I wholeheartedly recommend the use of this text in all high-level design aids and for all users of such system.' Microprocessors and Microsystems 18:8 1994Table of Contents: Foreword. 1. Introduction to Synthesis. 2. Hardware Description Languages and their Relevance to Synthesis. 3. Logic-Level Synthesis. 4. Technology Mapping. 5. Register-Transfer Level Synthesis. 6. High-Level Synthesis. 7. System-Level Synthesis. 8. Formal Methods for Synthesis. 9. Synthesis Related Aspects of Simulation. 10. Synthesis Related Aspects in Testing. Index. Publisher Marketing: Over the past decade there has been a dramatic change in the role played by design automation for electronic systems. Ten years ago, integrated circuit (IC) designers were content to use the computer for circuit, logic, and limited amounts of high-level simulation, as well as for capturing the digitized mask layouts used for IC manufacture. The tools were only aids to design-the designer could always find a way to implement the chip or board manually if the tools failed or if they did not give acceptable results. Today, however, design technology plays an indispensable role in the design ofelectronic systems and is critical to achieving time-to-market, cost, and performance targets. In less than ten years, designers have come to rely on automatic or semi automatic CAD systems for the physical design ofcomplex ICs containing over a million transistors. In the past three years, practical logic synthesis systems that take into account both cost and performance have become a commercial reality and many designers have already relinquished control ofthe logic netlist level of design to automatic computer aids. To date, only in certain well-defined areas, especially digital signal process ing and telecommunications. have higher-level design methods and tools found significant success. However, the forces of time-to-market and growing system complexity will demand the broad-based adoption of high-level, automated methods and tools over the next few years."