Formal verification of systemc designs using a petri-net based representation.

Daniel Karlsson, Petru Eles, Zebo Peng

Browse the full DATE paper archive.