Title: Co-Verification of Hardware and Software for ARM SoC Design
Subjects: Embedded computer systems