Skip to Content

EDA for IC System Design, Verification, and Testing

Edited by Louis Scheffer, Luciano Lavagno, Grant Martin

Contributors: Ahmed Jerraya, Enrico Macii, Ray Turner, Robert F. Damiano, Stephen A. Edwards, Kwang-Ting(Tim) Cheng, Marcello Coppola, Limor Fix, Steven Howard Leibson, Prabhat Mishra, Bozena Kaminska, Bernd Koenemann, Gaurav Singh, Alain Clouard, John Sanguinetti, Franz E. Marschner, Marco Di Natale, Ralph H. Otten, John Wilson, Miltos D. Grammatikakis, Wayne Wolf, Rajesh Gupta, Sumit Gupta, Sandeep Shukla, Vivek Tiwari, Renu Mehra, Massimo Poncino, Shuvra S. Bhattacharyya, Mike Bershteyn, Raul Camposano, Iuliana Bacivarov, Nikil Dutt, Kenneth L. McMillan, Li-Chung Wang, Harry D. Foster, Jean-Philippe Strassen, Frank Ghenassia, Laurent Maillet-Contoz, Joseph Tobin Buck, Naehyuck Chang

Published March 23rd 2006 by CRC Press – 544 pages

Series: Electronic Design Automation for Integrated Circuits Hdbk

Purchasing Options:

eBook Ordering Options

Description

Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for IC System Design, Verification, and Testing, thoroughly examines system-level design, microarchitectural design, logical verification, and testing. Chapters contributed by leading experts authoritatively discuss processor modeling and design tools, using performance metrics to select microprocessor cores for IC designs, design and verification languages, digital simulation, hardware acceleration and emulation, and much more. Save on the complete set.

Contents

Introduction. The IC Design Process and EDA. Tools and Methodologies for System-Level Design. System-level specification and modeling languages. SoC Block Based Design and IP Assembly. Performance Evaluation Methods for MPSoC Design. Processor Modeling and Design Tools. Embedded Software Modeling and Design. Using Performance Metrics to Select Microprocessor Cores for IC Designs. Parallelizing High-Level Synthesis: A Code Transformational Approach to High-Level Synthesis. Cycle-Accurate System-Level Modeling and Performance Evaluation. Micro-Architectural Power Estimation and Optimization. Design Planning. Design and Verification Languages. Digital Simulation. Using Transactional Level Models in a SoC Design Flow. Assertion-based verification. Hardware Acceleration and Emulation. Formal Property Verification. Design for Test. Automatic Test Pattern Generation. Analog and Mixed-Signal Test.

Name: EDA for IC System Design, Verification, and Testing (Hardback) – CRC Press 
Description: Edited by Louis Scheffer, Luciano Lavagno, Grant MartinContributors: Ahmed Jerraya, Enrico Macii, Ray Turner, Robert F. Damiano, Stephen A. Edwards, Kwang-Ting(Tim) Cheng, Marcello Coppola, Limor Fix, Steven Howard Leibson, Prabhat Mishra, Bozena Kaminska, Bernd Koenemann, Gaurav Singh, Alain Clouard, John Sanguinetti, Franz E. Marschner, Marco Di Natale, Ralph H. Otten, John Wilson, Miltos D. Grammatikakis, Wayne Wolf, Rajesh Gupta, Sumit Gupta, Sandeep Shukla, Vivek Tiwari, Renu Mehra, Massimo Poncino, Shuvra S. Bhattacharyya, Mike Bershteyn, Raul Camposano, Iuliana Bacivarov, Nikil Dutt, Kenneth L. McMillan, Li-Chung Wang, Harry D. Foster, Jean-Philippe Strassen, Frank Ghenassia, Laurent Maillet-Contoz, Joseph Tobin Buck, Naehyuck Chang. Presenting a comprehensive overview of the design automation algorithms, tools, and methodologies used to design integrated circuits, the Electronic Design Automation for Integrated Circuits Handbook is available in two volumes. The first volume, EDA for...
Categories: Electronic Packaging, Circuits & Devices, Microelectronics