ESL Models and their Application : Electronic System Level Design and Verification in Practice - Bailey, Brian; Martin, Grant; SpringerLink (Online service) (New York, NY : Springer US : Imprint: Springer, 2010)
IP Meta-Models for SoC Assembly and HW/SW Interfaces -- Functional Models -- Testbench Models -- Virtual Prototypes and Mixed Abstraction Modeling -- Processor-Centric Design: Processors, Multi-Processors, and Software -- Codesign Experiences Based on a Virtual Platform -- Transaction-Level Platform Creation -- C/C++ Hardware Design for the Real World.
Keywords: Electronic circuits; Computer logic; Computer-aided engineering; Circuits and Systems; Logics and Meanings of Programs; Computer-Aided Engineering (CAD, CAE) and Design