netlist_comparison.h File Reference

#include "hal_core/utilities/result.h"
#include "z3++.h"
#include <vector>

Include dependency graph for netlist_comparison.h:

Go to the source code of this file.

Namespaces
	hal
	hal::z3_utils

Functions
Result< bool >	hal::z3_utils::compare_nets (const Netlist *netlist_a, const Netlist *netlist_b, const Net *net_a, const Net *net_b, const bool fail_on_unknown=true, const u32 solver_timeout=10)
	Compare two nets from two different netlists. More...
Result< bool >	hal::z3_utils::compare_nets (const Netlist *netlist_a, const Netlist *netlist_b, const std::vector< std::pair< Net *, Net * >> &nets, const bool fail_on_unknown=true, const u32 solver_timeout=10)
	Compare pairs of nets from two different netlist. More...
Result< bool >	hal::z3_utils::compare_netlists (const Netlist *netlist_a, const Netlist *netlist_b, const bool fail_on_unknown=true, const u32 solver_timeout=10)
	Compares two netlists on a functional level. More...