000			02759nam a2200265 a 4500
001			39887
003			0000000000
005			20240411192943.0
008			210120n s 000 0 eng d
100	1		_aLavagno, Luciano.
245	1	0	_aElectronic design automation for IC system design, verification, and testing _h[electronic resource] / _cLuciano Lavagno, Igor L. Makrov, Grant Martin, Louis K. Scheffer.
260			_aBoca Raton, Florida : _bCRC Press, _c2016.
300			_a1 online resource.
500			_aIncludes bibliographical references.
505	0		_a1: Overview -- 2: Integrated Circuit Design Process and Electronic Design Automation -- II: System-Level Design -- 3: Tools and Methodologies for System-Level Design -- 4: System-Level Specification and Modeling Languages -- 5: SoC Block-Based Design and IP Assembly -- 6: Performance Evaluation Methods for Multiprocessor System-on-Chip Designs -- 7: System-Level Power Management -- 8: Processor Modeling and Design Tools 9: Models and Tools for Complex Embedded Software and Systems -- 10: Using Performance Metrics to Select Microprocessor Cores for IC Designs -- 11: High-Level Synthesis -- III: Microarchitecture Design -- 12: Back-Annotating System-Level Models -- 13: Microarchitectural and System-Level Power Estimation and Optimization -- 14: Design Planning -- IV: Logic Verification -- 15: Design and Verification Languages -- 16: Digital Simulation -- 17: Leveraging Transaction-Level Models in an SoC Design Flow -- 18: Assertion-Based Verification -- 19: Hardware-Assisted Verification and Software Development 20: Formal Property Verification -- V: Test -- 21: Design-for-Test -- 22: Automatic Test Pattern Generation -- 23: Analog and Mixed-Signal Test.
520			_aElectronic 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.
650		7	_aIntegrated circuits _xComputer-aided design. _2sears
650		7	_aIntegrated circuits _xDesign and construction. _2sears
650		7	_aIntegrated circuits _xTesting. _2sears
700	1		_aMakrov, Igor L.
700	1		_aMartin, Grant.
700	1		_aScheffer, Louis K.
856			_uhttps://drive.google.com/file/d/1Pq74g8vRcO8eWCiDWKbzrKftDUGlFoAK/view?usp=sharing
999			_c11137 _d11137