Jason Andrews: Co-verification of Hardware and Software for ARM SoC Design bei hugendubel.de