Formalizing Loop-Carried Dependencies in Coq for High-Level Synthesis.

Florian Faissole George A. Constantinides David Thomas

Published in: FCCM (2019)

Keyphrases

high level synthesis
parallel architecture
design space exploration
theorem prover
formal methods
design space
bayesian networks
sensor networks
artificial intelligence
image analysis