Formal verification of high-level synthesis.

Yann Herklotz James D. Pollard Nadesh Ramanathan John Wickerson

Published in: Proc. ACM Program. Lang. (2021)

Keyphrases

formal verification
high level synthesis
model checking
automated verification
model checker
bounded model checking
parallel architecture
symbolic model checking
program slicing
design space exploration
temporal logic
expert systems
pairwise
search algorithm
computer science
software engineering