"Andrews, Jason R"

Co-Verification of Hardware and Software for ARM Soc Design - \\200800ENGGPSX - Newnes 2008 London - 260p.

includes index and biblioraphy