SystemC TLM2-protocol consistency checker using Petri net.

Imed E. Bennour
Published in: IDT (2016)
Keyphrases