Innovative practices session 7C: Verification and testing challenges in high-level synthesis.

Sandip Ray Jayanta Bhadra

Published in: VTS (2010)

Keyphrases

high level synthesis
formal verification
tool support
symbolic execution
lessons learned
test generation
model checking
real world
parallel architecture
ethical issues
computer vision
software engineering