Cargando…
Electronic design automation : synthesis, verification, and test /
This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI practitioners and researchers in need of fluency in an ""adjacent"" field will find this an invaluable reference to the basic EDA concepts, principles, data structures, algorithms, and architectu...
| Clasificación: | Libro Electrónico |
|---|---|
| Otros Autores: | , , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Amsterdam ; Boston :
Morgan Kaufmann/Elsevier,
©2009.
|
| Colección: | Morgan Kaufmann series in systems on silicon.
|
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | EBOOKCENTRAL_ocn433173319 | ||
| 003 | OCoLC | ||
| 005 | 20240329122006.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 090825s2009 ne a ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e pn |c N$T |d OCLCQ |d UBY |d CDX |d IDEBK |d E7B |d OCLCQ |d COO |d OCLCQ |d OCLCF |d YDXCP |d KNOVL |d TEFOD |d OCLCQ |d TEFOD |d S3O |d OCLCQ |d D6H |d UAB |d OCLCQ |d NLE |d UKMGB |d OL$ |d VT2 |d RDF |d OCLCQ |d EYM |d OCLCO |d OCLCQ |d UPM |d OCLCQ |d OCLCO |d OCLCL |d TMA | ||
| 015 | |a GBA890529 |2 bnb | ||
| 015 | |a GBB6H5836 |2 bnb | ||
| 016 | 7 | |a 014673816 |2 Uk | |
| 016 | 7 | |a 017593227 |2 Uk | |
| 019 | |a 505095062 |a 640114576 |a 646808679 |a 712982968 |a 772106461 |a 1103267137 |a 1129361764 | ||
| 020 | |a 9780080922003 |q (electronic bk.) | ||
| 020 | |a 0080922007 |q (electronic bk.) | ||
| 020 | |z 9780123743640 |q (alk. paper) | ||
| 020 | |z 0123743648 |q (alk. paper) | ||
| 024 | 8 | |a 9786612542152 | |
| 029 | 1 | |a AU@ |b 000050415349 | |
| 029 | 1 | |a CDX |b 13114794 | |
| 029 | 1 | |a GBVCP |b 871532158 | |
| 029 | 1 | |a NZ1 |b 14231608 | |
| 029 | 1 | |a UKMGB |b 017593227 | |
| 035 | |a (OCoLC)433173319 |z (OCoLC)505095062 |z (OCoLC)640114576 |z (OCoLC)646808679 |z (OCoLC)712982968 |z (OCoLC)772106461 |z (OCoLC)1103267137 |z (OCoLC)1129361764 | ||
| 037 | |a 4487494C-6686-4E2F-9471-38465187254C |b OverDrive, Inc. |n http://www.overdrive.com | ||
| 050 | 4 | |a TK7867 |b .E4227 2009eb | |
| 072 | 7 | |a TEC |x 008050 |2 bisacsh | |
| 072 | 7 | |a TEC |x 008030 |2 bisacsh | |
| 072 | 7 | |a COM |x 036000 |2 bisacsh | |
| 082 | 0 | 4 | |a 621.39/5 |2 22 |
| 049 | |a UAMI | ||
| 245 | 0 | 0 | |a Electronic design automation : |b synthesis, verification, and test / |c edited by Laung-Terng Wang, Yao-Wen Chang, Kwang-Ting (Tim) Cheng. |
| 260 | |a Amsterdam ; |a Boston : |b Morgan Kaufmann/Elsevier, |c ©2009. | ||
| 300 | |a 1 online resource (xxxv, 934 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a The Morgan Kaufmann series in systems on silicon | |
| 504 | |a Includes bibliographical references and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Front Cover; Electronic Design Automation: Synthesis, Verification, and Test; Copyright Page; Contents; Preface; In the Classroom; Acknowledgments; Contributors; About the Editors; CHAPTER 1 Introduction; 1.1 Overview of electronic design automation; 1.2 Logic design automation; 1.3 Test automation; 1.4 Physical design automation; 1.5 Concluding remarks; 1.6 Exercises; Acknowledgments; References; CHAPTER 2 Fundamentals of CMOS design; 2.1 Introduction; 2.2 Integrated circuit technology; 2.3 CMOS logic; 2.4 Integrated circuit design techniques; 2.5 CMOS physical design | |
| 505 | 8 | |a 2.6 Low-power circuit design techniques2.7 Concluding remarks; 2.8 Exercises; Acknowledgments; References; CHAPTER 3 Design for testability; 3.1 Introduction; 3.2 Testability analysis; 3.3 Scan design; 3.4 Logic built-in self-test; 3.5 Test Compression; 3.6 Concluding remarks; 3.7 Exercises; Acknowledgments; References; CHAPTER 4 Fundamentals of algorithms; 4.1 Introduction; 4.2 Computational complexity; 4.3 Graph algorithms; 4.4 Heuristic algorithms; 4.5 Mathematical programming; 4.6 Concluding remarks; 4.7 Exercises; Acknowledgments; References | |
| 505 | 8 | |a CHAPTER 5 Electronic system-level design and high-level synthesis5.1 Introduction; 5.2 Fundamentals of High-level synthesis; 5.3 High-level synthesis algorithm overview; 5.4 Scheduling; 5.5 Register binding; 5.6 Functional unit binding; 5.7 Concluding remarks; 5.8 Exercises; Acknowledgments; References; CHAPTER 6 Logic synthesis in a nutshell; 6.1 Introduction; 6.2 Data Structures for Boolean representation and reasoning; 6.3 Combinational logic minimization; 6.4 Technology mapping; 6.5 Timing analysis; 6.6 Timing optimization; 6.7 Concluding remarks; 6.8 Exercises; Acknowledgments | |
| 505 | 8 | |a CHAPTER 9 Functional verification9.1 Introduction; 9.2 Verification hierarchy; 9.3 Measuring verification quality; 9.4 Simulation-based approach; 9.5 Formal approaches; 9.6 Advanced research; 9.7 Concluding remarks; 9.8 Exercises; Acknowledgments; References; CHAPTER 10 Floorplanning; 10.1 Introduction; 10.2 Simulated annealing approach; 10.3 Analytical approach; 10.4 Modern floorplanning considerations; 10.5 Concluding remarks; 10.6 Exercises; Acknowledgments; References; CHAPTER 11 Placement; 11.1 Introduction; 11.2 Problem formulations; 11.3 Global placement: partitioning-based approach | |
| 520 | |a This book provides broad and comprehensive coverage of the entire EDA flow. EDA/VLSI practitioners and researchers in need of fluency in an ""adjacent"" field will find this an invaluable reference to the basic EDA concepts, principles, data structures, algorithms, and architectures for the design, verification, and test of VLSI circuits. Anyone who needs to learn the concepts, principles, data structures, algorithms, and architectures of the EDA flow will benefit from this book. Covers complete spectrum of the EDA flow, from ESL design modeling to logic/test synthesis, verific. | ||
| 590 | |a ProQuest Ebook Central |b Ebook Central Academic Complete | ||
| 590 | |a Knovel |b ACADEMIC - Computer Hardware Engineering | ||
| 650 | 0 | |a Electronic circuit design |x Data processing. | |
| 650 | 0 | |a Computer-aided design. | |
| 650 | 2 | |a Computer-Aided Design | |
| 650 | 6 | |a Conception assistée par ordinateur. | |
| 650 | 7 | |a computer-aided designs (visual works) |2 aat | |
| 650 | 7 | |a computer-aided design (process) |2 aat | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x VLSI & ULSI. |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x Logic. |2 bisacsh | |
| 650 | 7 | |a COMPUTERS |x Logic Design. |2 bisacsh | |
| 650 | 7 | |a Computer-aided design |2 fast | |
| 650 | 7 | |a Electronic circuit design |x Data processing |2 fast | |
| 655 | 0 | 4 | |a Electronic books. |
| 700 | 1 | |a Wang, Laung-Terng. | |
| 700 | 1 | |a Chang, Yao-Wen, |d 1966- |1 https://id.oclc.org/worldcat/entity/E39PCjvX7cTKd7jRKKYTwwhwP3 | |
| 700 | 1 | |a Cheng, Kwang-Ting, |d 1961- |1 https://id.oclc.org/worldcat/entity/E39PCjH3FGrkJ6dJXcyqkwWRrq | |
| 758 | |i has work: |a Electronic design automation (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGbW93QDRHMxGpDPKhmFjC |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |t Electronic design automation. |d Amsterdam ; Boston : Morgan Kaufmann/Elsevier, ©2009 |z 9780123743640 |z 0123743648 |w (DLC) 2008041788 |w (OCoLC)228364702 |
| 830 | 0 | |a Morgan Kaufmann series in systems on silicon. | |
| 856 | 4 | 0 | |u https://ebookcentral.uam.elogim.com/lib/uam-ebooks/detail.action?docID=428517 |z Texto completo |
| 938 | |a Coutts Information Services |b COUT |n 13114794 | ||
| 938 | |a EBSCOhost |b EBSC |n 248990 | ||
| 938 | |a YBP Library Services |b YANK |n 2999803 | ||
| 994 | |a 92 |b IZTAP | ||