KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design.

Luca Piccolboni, Giuseppe Di Guglielmo, Luca P. Carloni

Browse the full FMCAD paper archive.