A Framework for Verification of SystemC Designs Using SystemC Waiting State Automata.

Nesrine Harrath, Bruno Monsuez, Kamel Barkaoui

Browse the full IRI paper archive.