Controller Design and Verification for A Pipeline Image Processor based on An Extended Petri net.

Katsumi Wasaki, Toshiaki Harai, Tamotsu Hayashi, Ken-ichi Arai

Browse the full DSD paper archive.