Co-verification of hardware and software for ARM SoC design

Jason R. Andrews
Elsevier
9780750677301
0-7506-7730-9