A Framework for Automated HW/SW Co-Verification of SystemC Designs Using Timed Automata

Paperback