1-4 of 4 Books

Correct hardware design and verification methods
By CHARME 2003 (2001 L'Aquila, Italy)

Computer systems: architectures, modeling, and simulation
By SAMOS 2003 (2003 Samos, Greece)

Architecture of Computing Systems - ARCS 2011
By Mladen Bereković

Enhancing embedded systems simulation
By Christian Ko hler