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