"Co-Verification of Hardware and Software for ARM SoC Design" - читать интересную книгу автора (Jason Andrews)