A methodology for correct-by-construction latency insensitive design.

Luca P. Carloni, Kenneth L. McMillan, Alexander Saldanha, Alberto L. Sangiovanni-Vincentelli

Browse the full ICCAD paper archive.