EDA for IC system design, verification, and testing /

Bibliographic Details
Other Authors:	Scheffer, Lou, Lavagno, Luciano, 1959-, Martin, Grant (Grant Edmund)
Format:	Book
Language:	English
Published:	Boca Raton, FL : CRC Taylor & Francis, 2006.
Series:	Electronic design automation for integrated circuits handbook.
Subjects:	Integrated circuits > Computer-aided design. Integrated circuits > Verification > Data processing.
Online Access:	Publisher description

Table of Contents:

Overview
The integrated circuit design process and electronic design automation
Tools and methodologies for system-level design
System-level specification and modeling languages
SoC block-based design and IP assembly
Performance evaluation methods for multiprocessor system-on-chip design
System-level power management
Processor modeling and design tools
Embedded software modeling and design
Using performance metrics to select microprocessor cores for IC designs
Parallelizing high-level synthesis : a code transformational approach to high-level synthesis
Cycle-accurate system-level modeling and performance evaluation
Micro-architectural power estimation and optimization
Design planning
Design and verification languages
Digital simulation
Using transactional-level models in an SoC design flow
Assertion-based verification
Hardware acceleration and emulation
Formal property verification
Design-for-test
Automatic test pattern generation
Analog and mixed signal test
Index.