A framework for automated HW/SW co-verification of SystemC designs using timed automataPaula HerberÉpuiséPrévenez-moi
