Login / Signup

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

Luca PiccolboniGiuseppe Di GuglielmoLuca P. Carloni
Published in: FMCAD (2019)
Keyphrases
  • high level synthesis
  • parallel architecture
  • real world
  • search algorithm
  • data processing
  • cloud computing