TY  - BOOK
AU  - JASON R ANDREWS
TI  - co- verfication of hard work and software for ARM soc design
PB  - ELSEVIER
ER  -