Verification of asynchronous circuits using Time Petri Net unfolding.

Alexei L. Semenov, Alexandre Yakovlev

Browse the full DAC paper archive.