A framework for automated HW/SW co-verification of SystemC designs using timed automataPaula HerberUitverkochtHou mij op de hoogte
