Automatic Synthesis and Optimization of Partially Specified Asynchronous Systems.

Alex Kondratyev, Jordi Cortadella, Michael Kishinevsky, Luciano Lavagno, Alexandre Yakovlev

Browse the full DAC paper archive.