lazy transition systems : application to timing optimization of asynchronous circuits
j cortadella , m kishinevsky , a kondratyev , l
proceedings of the 1998 ieee/acm international conference on & hellip ; ,