Login / Signup
KAIROS: Incremental Verification in High-Level Synthesis through Latency-Insensitive Design.
Luca Piccolboni
Giuseppe Di Guglielmo
Luca P. Carloni
Published in:
FMCAD (2019)
Keyphrases
</>
high level synthesis
parallel architecture
real world
search algorithm
data processing
cloud computing