Michael Kishinevsky Jordi Cortadella Alex Kondratyev Asynchronous Interface Specification, Analysis and Synthesis. 2-7 1998 DAC http://doi.acm.org/10.1145/277044.277046 db/conf/dac/dac98.html#KishinevskyCK98