UML for SOC Design

Taxonomies for the Development and Verification of Digital Systems

ESL Design and Verification: A Prescription for Electronic System Level Methodology

UML for Real: Design of Embedded Real-Time Systems

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology: Edition 2