netlist_comparison.cpp File Reference

#include "z3_utils/netlist_comparison.h"
#include "hal_core/netlist/boolean_function/solver.h"
#include "hal_core/netlist/decorators/boolean_function_net_decorator.h"
#include "hal_core/netlist/decorators/subgraph_netlist_decorator.h"
#include "hal_core/netlist/gate.h"
#include "hal_core/netlist/module.h"
#include "hal_core/netlist/net.h"
#include "hal_core/netlist/netlist.h"
#include "hal_core/utilities/log.h"
#include "nlohmann/json.hpp"
#include "z3_utils/z3_utils.h"

Include dependency graph for netlist_comparison.cpp:

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