Muutke küpsiste eelistusi

E-raamat: Electronic Design Automation for IC System Design, Verification, and Testing

Edited by (University of Michigan, Ann Arbor, USA), Edited by (Cadence Design Systems, Inc., San Jose, California, USA), Edited by (Politecnico di Torino, Italy), Edited by (Howard Hughes Medical Institute, Ashburn, Virginia, USA)
  • Formaat: 664 pages
  • Ilmumisaeg: 19-Dec-2017
  • Kirjastus: CRC Press Inc
  • ISBN-13: 9781351830997
  • Formaat - EPUB+DRM
  • Hind: 100,09 €*
  • * hind on lõplik, st. muud allahindlused enam ei rakendu
  • Lisa ostukorvi
  • Lisa soovinimekirja
  • See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.
  • Formaat: 664 pages
  • Ilmumisaeg: 19-Dec-2017
  • Kirjastus: CRC Press Inc
  • ISBN-13: 9781351830997

DRM piirangud

  • Kopeerimine (copy/paste):

    ei ole lubatud

  • Printimine:

    ei ole lubatud

  • Kasutamine:

    Digitaalõiguste kaitse (DRM)
    Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale  Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

    Vajalik tarkvara
    Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

    PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

    Seda e-raamatut ei saa lugeda Amazon Kindle's. 

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 editionthese 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.

Arvustused

Praise for the Electronic Design Automation for Integrated Circuits Handbook, Second Edition Two-Volume Set

" contains the most up-to-date nuts and bolts of the front-end and back-end design automations. covers every single EDA aspect imaginable in vivid detail. This book will be very useful for masters and PhD students who are doing their theses in IC design. This is by far the most comprehensive book on EDA in the market. Every IC design company should purchase this book as a reference for their engineers." Faisal Mohd-Yasin, Griffith University, Queensland, Australia

" comprehensive coverage of all aspects of algorithms and EDA tools for modern VLSI design, starting from system design to GDSII tape out, including testing. ... Practicing engineers and graduate and undergraduate students will find these two volumes to be sources of extensive knowledge. This book is well written with in-depth explanation of basic concepts as well as advanced topics." Dr. Soumya Pandit, Institute of Radio Physics and Electronics, University of Calcutta, India

Preface to the Second Edition ix
Preface to the First Edition xi
Acknowledgments xiii
Editors xv
Contributors xvii
SECTION I Introduction
Chapter 1 Overview
3(16)
Luciano Lavagno
Grant E. Martin
Louis K. Scheffer
Igor L. Markov
Chapter 2 Integrated Circuit Design Process and Electronic Design Automation
19(20)
Robert Damiano
Raul Camposano
Grant E. Martin
SECTION II System-Level Design
Chapter 3 Tools and Methodologies for System-Level Design
39(20)
Shuvra Bhattacharyya
Marilyn Wolf
Chapter 4 System-Level Specification and Modeling Languages
59(16)
Stephen A. Edwards
Joseph T. Buck
Chapter 5 SoC Block-Based Design and IP Assembly
75(10)
Yaron Kashai
Chapter 6 Performance Evaluation Methods for Multiprocessor System-on-Chip Designs
85(14)
Ahmed Jerraya
Iuliana Bacivarov
Chapter 7 System-Level Power Management
99(22)
Naehyuck Chang
Enrico Macii
Massimo Poncino
Vivek Tiwari
Chapter 8 Processor Modeling and Design Tools
121(20)
Anupam Chattopadhyay
Nikil Dutt
Rainer Leupers
Prabhat Mishra
Chapter 9 Models and Tools for Complex Embedded Software and Systems
141(58)
Marco Di Natale
Chapter 10 Using Performance Metrics to Select Microprocessor Cores for IC Designs
199(30)
Steve Leibson
Chapter 11 High-Level Synthesis
229(46)
Felice Balarin
Alex Kondratyev
Yosinori Watanabe
SECTION III Microarchitecture Design
Chapter 12 Back-Annotating System-Level Models
275(30)
Miltos D. Grammatikakis
Antonis Papagrigoriou
Polydoros Petrakis
Marcello Coppola
Chapter 13 Microarchitectural and System-Level Power Estimation and Optimization
305(42)
Enrico Macii
Renu Mehra
Massimo Poncino
Robert P. Dick
Chapter 14 Design Planning
347(26)
Ralph H.J.M. Otten
SECTION IV Logic Verification
Chapter 15 Design and Verification Languages
373(28)
Stephen A. Edwards
Chapter 16 Digital Simulation
401(16)
John Sanguinetti
Chapter 17 Leveraging Transaction-Level Models in an SoC Design Flow
417(24)
Laurent Maillet-Contoz
Jerome Cornet
Alain Clouard
Eric Paire
Antoine Perrin
Jean-Philippe Strassen
Chapter 18 Assertion-Based Verification
441(20)
Harry Foster
Erich Marschner
Chapter 19 Hardware-Assisted Verification and Software Development
461(30)
Frank Schirrmeister
Mike Bershteyn
Ray Turner
Chapter 20 Formal Property Verification
491(26)
Limor Fix
Ken McMillan
Norris Ip
Leopold Holler
SECTION V Test
Chapter 21 Design-for-Test
517(42)
Bernd Koenemann
Brion Keller
Chapter 22 Automatic Test Pattern Generation
559(46)
Kwang-Ting (Tim) Cheng
Li-C. Wang
Huawei Li
James Chien-Mo Li
Chapter 23 Analog and Mixed-Signal Test
605(26)
Haralampos-G. Stratigopoulos
Bozena Kaminska
Index 631
Luciano Lavagno, Igor L. Markov, Grant Martin, Louis K. Scheffer