The Synthesis Approach to Digital System Design

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.