Documents Savoirs A framework for automated HW/SW co-verification of SystemC designs using tmed automata [Elektronische Ressource] / vorgelegt von Paula Herber © Paula Herber