A methodology for correct-by-construction latency insensitive design (1999)

by L P Carloni, K L McMillan, A Saldanha, A L Sangiovanni-Vincentelli
Venue:IEEE/ACM ICCAD