A Methodology for Correct-by-Construction Latency Insensitive Design (2003)

by Luca P. Carloni , Kenneth L. McMillan , Alexander Saldanha , Alberto L. Sangiovanni-Vincentelli
Venue:IN PROC. INTL. CONF. ON COMPUTER-AIDED DESIGN
Citations:48 - 12 self