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

by L P Carloni, K L McMillan, A Saldanha, A L SangiovanniVincentelli
Venue:in Proc. Intl. Conf. on Computer-Aided Design. IEEE