A framework for automated HW/SW co-verification of SystemC designs using timed automataPaula HerberVypredanáPostrážiť
