Electronic Design Automation for IC System Design, Verification, and Testing

As part of a two-book series devoted to Electronic Design Automation for Integrated Circuits, this first installment examines logical design, focusing on system-level and micro-architectural design, verification and testing. It begins with a general overview followed by application-specific tools and methods, specification and modeling languages, high-level synthesis approaches, power estimation methods, simulation techniques and testing procedures.