A framework for automated HW/SW co-verification of SystemC designs using timed automataPaula HerberUitverkocht4,3Volgen
