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

by J Cortadella, A Kondratyev, M Kishinevsky, L Lavagno, A Yakovlev
Venue:Proc. Eleventh Conf. Design of Integrated Circuits and Systems (DCIS’96