Login / Signup

System-level verification on high-level synthesis of dataflow graph.

Tsung-Hsi ChiangLan-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