The best of both worlds: the efficient asynchronous implementation of synchronous specifications.

Abhijit Davare, Kelvin Lwin, Alex Kondratyev, Alberto L. Sangiovanni-Vincentelli

Browse the full DAC paper archive.