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