Modeling and formal verification of dataflow graph in system-level design using Petri net.

Tsung-Hsi Chiang, Lan-Rong Dung, Ming-Feng Yaung

Browse the full ISCAS paper archive.