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. More...
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. More...

Detailed Description

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