EDA for IC System Design, Verification, and Testing

Inbunden, Engelska, 2006

Av Louis Scheffer, Luciano Lavagno, Grant Martin, USA) Scheffer, Louis (Cadence Design Systems, San Jose, California, USA) Lavagno, Luciano (Cadence Berkeley Laboratories, California, USA) Martin, Grant (Tensilica Inc., Santa Clara, California

2 119 kr

Tillfälligt slut

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.

Produktinformation

Utgivningsdatum2006-03-23
Mått178 x 254 x 35 mm
Vikt1 111 g
FormatInbunden
SpråkEngelska
SerieElectronic Design Automation for Integrated Circuits Hdbk
Antal sidor544
FörlagTaylor & Francis Inc
ISBN9780849379239

Tillhör följande kategorier

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.