Mishra - Functional Verification of Programmable Embedded Architecture - X555z

Functional Verification of Programmable Embedded Architectures : A Top-Down A...

Embedded Computer Systems: Architectures, Modeling, by Alex Orailoglu PAPERBACK

Embedded Computer Systems - Architectures, Modeling, and Simulation : 22nd In...

Professional Embedded ARM Development (Wrox: Programmer to Programmer) by Langb

Embedded System Design: Modeling, Synthesis and Verification by Daniel D. Gajski

Embedded Computer Systems - Architectures, Modeling, and Simulation : 22nd In...