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

Full description

Saved in:
Bibliographic Details
Other Authors: Wang, Laung-Terng., Chang, Yao-Wen, 1966-, Cheng, Kwang-Ting, 1961-
Format: eBook
Language: English
Published: Amsterdam ; Boston : Morgan Kaufmann/Elsevier, ©2009.
Series: Morgan Kaufmann series in systems on silicon.
Subjects:
Electronic circuit design > Data processing.
Computer-aided design.
elektronické knihy
electronic books
ISBN: 9780080922003
0080922007
9780123743640
0123743648
Physical Description: 1 online resource (xxxv, 934 pages) : illustrations

Cover

Table of contents

LEADER 05395cam a2200481 a 4500
001 kn-ocn433173319
003 OCoLC
005 20240717213016.0
006 m o d
007 cr cn|||||||||
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  |d OCLCQ 
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 
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 
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. 
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 
506 |a Plný text je dostupný pouze z IP adres počítačů Univerzity Tomáše Bati ve Zlíně nebo vzdáleným přístupem pro zaměstnance a studenty 
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 Knovel  |b Knovel (All titles) 
650 0 |a Electronic circuit design  |x Data processing. 
650 0 |a Computer-aided design. 
655 7 |a elektronické knihy  |7 fd186907  |2 czenas 
655 9 |a electronic books  |2 eczenas 
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 
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://proxy.k.utb.cz/login?url=https://app.knovel.com/hotlink/toc/id:kpEDASVT02/electronic-design-automation?kpromoter=marc  |y Full text 

Similar Items