Namespaces | Functions

equivalence_check.hpp File Reference

SAT-based equivalence check (respects garbage outputs and constant inputs) More...

Namespaces

namespace  revkit
 

Main namespace.


Functions

bool equivalence_check (const circuit &spec, const circuit &impl, properties::ptr settings=properties::ptr(), properties::ptr statistics=properties::ptr())
 Functional and formal equivalence check.
equivalence_func equivalence_check_func (properties::ptr settings=properties::ptr(new properties()), properties::ptr statistics=properties::ptr(new properties()))
 Functor for the equivalence_check algorithm.

Detailed Description

SAT-based equivalence check (respects garbage outputs and constant inputs)

 All Classes Namespaces Files Functions Variables Typedefs Enumerator Friends Defines

Generated on Wed May 25 2011 16:34:52 for RevKit by doxygen 1.7.3