Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits.

Katharina Weinberger, Slava Bulach, Robert P. Bosch Jr.

Browse the full DATE paper archive.