Within this Book Full site

Metrics

Views
681

Filter my results

ISBN of the Book

Material or Process Book or Chapter Title Author or Editor Publication dates

Electronic Design Automation for IC System Design, Verification, and Testing

Edited by: Luciano Lavagno , Igor L. Markov , Grant Martin , Louis K. Scheffer

Print publication date:  April  2016
Online publication date:  April  2016

Print ISBN: 9781482254624
eBook ISBN: 9781482254631
Adobe ISBN:

10.1201/b19569
 Cite  Marc Record

Book description

The first of two volumes in the Electronic Design Automation for Integrated Circuits Handbook, Second 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, digital simulation, 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 publication of the previous edition?these are illustrated by new chapters on high-level synthesis, system-on-chip (SoC) block-based design, and back-annotating system-level models

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.

Table of contents

Chapter  1:  Overview Download PDF
Chapter  2:  Integrated Circuit Design Process and Electronic Design Automation Download PDF
Chapter  3:  Tools and Methodologies for System-Level Design Download PDF
Chapter  4:  System-Level Specification and Modeling Languages Download PDF
Chapter  5:  SoC Block-Based Design and IP Assembly Download PDF
Chapter  6:  Performance Evaluation Methods for Multiprocessor System-on-Chip Designs Download PDF
Chapter  7:  System-Level Power Management Download PDF
Chapter  8:  Processor Modeling and Design Tools Download PDF
Chapter  9:  Models and Tools for Complex Embedded Software and Systems Download PDF
Chapter  10:  Using Performance Metrics to Select Microprocessor Cores for IC Designs Download PDF
Chapter  11:  High-Level Synthesis Download PDF
Chapter  12:  Back-Annotating System-Level Models Download PDF
Chapter  13:  Microarchitectural and System-Level Power Estimation and Optimization Download PDF
Chapter  14:  Design Planning Download PDF
Chapter  15:  Design and Verification Languages Download PDF
Chapter  16:  Digital Simulation Download PDF
Chapter  17:  Leveraging Transaction-Level Models in an SoC Design Flow  Download PDF
Chapter  18:  Assertion-Based Verification Download PDF
Chapter  19:  Hardware-Assisted Verification and Software Development Download PDF
Chapter  20:  Formal Property Verification Download PDF
Chapter  21:  Design-for-Test Download PDF
Chapter  22:  Automatic Test Pattern Generation Download PDF
Chapter  23:  Analog and Mixed-Signal Test Download PDF
prelims Download PDF
Index Download PDF
Search for more...

Back to top

Use of cookies on this website

We are using cookies to provide statistics that help us give you the best experience of our site. You can find out more in our Privacy Policy. By continuing to use the site you are agreeing to our use of cookies.