Co-Verification of Hardware and Software for ARM SoC Design | lit.salon