Functional Equivalence Verification Tools in High-Level Synthesis Flows.

Anmol Mathur Masahiro Fujita Edmund M. Clarke Pascal 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