Login / Signup
System-level verification on high-level synthesis of dataflow graph.
Tsung-Hsi Chiang
Lan-Rong Dung
Published in:
ISCAS (2006)
Keyphrases
</>
high level synthesis
graph theory
graph transformation
case study
pattern recognition
structured data
directed graph
graph representation
formal methods
design space exploration