http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
EDA for IC system design, verification, and testing
Electronic design automation for integrated circuit system design, verification, and testing
EDA for IC implementation, circuit design, and process technology
1 volume (various pagings) : illustrations ; 27 cm.
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.
edited by Louis Scheffer, Luciano Lavagno, Grant Martin.
Companion volume of: EDA for IC implementation, circuit design, and process technology.
Includes bibliographical references and index.
Electronic design automation for integrated circuits handbook