StitchUp: automatic control flow protection for high level synthesis circuits.

Shane T. Fleming David B. Thomas

Published in: DAC (2016)

Keyphrases

high level synthesis
control flow
data flow
software testing
parallel architecture
process model
transition systems
design space exploration
database
machine learning
real world
multi agent
modeling language
formal semantics