Login / Signup

Equivalence Checking with Rule-Based Equivalence Propagation and High-Level Synthesis.

Tasuku NishiharaTakeshi MatsumotoMasahiro Fujita
Published in: HLDVT (2006)
Keyphrases
  • high level synthesis
  • data driven
  • artificial intelligence
  • information systems
  • case study
  • datalog programs