- ホーム
- > 洋書
- > 英文書
- > Science / Mathematics
Full Description
The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Third Edition, Electronic Design Automation for IC System Design, Verification, and Testing thoroughly examines system-level design, microarchitectural design, logic verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for integrated circuit (IC) designs, design and verification languages, hardware acceleration and emulation, and much more.
New to This Edition:
- Major updates appearing in the initial phases of the design flow, where the level of abstraction keeps rising to support more functionality with lower non-recurring engineering (NRE) costs
- Significant revisions reflected in the final phases of the design flow, where the complexity due to smaller and smaller geometries is compounded by the slow progress of shorter wavelength lithography
- New coverage of cutting-edge applications and approaches realized in the decade since the publication of the second edition—these are illustrated by updates including the impact of AI/ML, new high-level synthesis algorithms, and RISC-V, in various chapters
Offering improved depth and modernity, Electronic Design Automation for IC System Design, Verification, and Testing provides a valuable, state-of-the-art reference for electronic design automation (EDA) students, researchers, and professionals.
Contents
1. Overview. 2. Integrated Circuit Design Process and Electronic Design Automation. Section 1. System Level Design. 3. Tools and Methodologies for System-Level Designs. 4. System-Level Specification and Modeling Languages. 5. SoC Block-Based Design and IP Assembly. 6. Performance Evaluation Methods for Multiprocessor System-on-Chip Designs. 7. System-Level Power Management. 8. Processor Modeling and Design Tools. 9. Models and Tools for Complex Embedded Software and Systems. 10. System-Level Design. 11. High-Level Synthesis. Section 2. Micro-Architecture Design. 12. SystemC Models and Annotations. 13. Micro-Architectural and System-Level Power Estimation and Optimization. 14. Design Planning. Section 3. Logic Verification. 15. Design and Verification Languages. 16. Digital Simulation. 17. Gearing up with Digital Twins: From SoC Shift Left to System-of-Systems Quality. 18. Assertion-Based Verification. 19. Hardware-Assisted Verification & Software Development. 20. Formal Property Verification. Section 4. Test. 21. Design-for-Test. 22. Automatic Test Pattern Generation. 23. Analog and Mixed-Signal Test.
