Login / Signup

Functional Equivalence Verification Tools in High-Level Synthesis Flows.

Anmol MathurMasahiro FujitaEdmund M. ClarkePascal Urard
Published in: IEEE Des. Test Comput. (2009)
Keyphrases
  • high level synthesis
  • functional verification
  • software tools
  • probabilistic model
  • formal methods
  • artificial intelligence
  • information systems
  • bayesian networks
  • formal verification