Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers (1996)

by J Cortadella, M Kishinevsky, A Kondratyev, L Lavagno, A Yakovlev
Venue:In XI Conference on Design of Integrated Circuits and Systems