HAL  v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
Namespaces | Functions
boolean_influence.cpp File Reference
#include "boolean_influence/boolean_influence.h"
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/netlist/decorators/boolean_function_net_decorator.h"
#include "hal_core/netlist/decorators/netlist_traversal_decorator.h"
#include "hal_core/netlist/gate.h"
#include "hal_core/netlist/net.h"
#include "hal_core/netlist/netlist.h"
#include "z3_utils/subgraph_function_generation.h"
#include "z3_utils/z3_utils.h"
#include <filesystem>
#include <fstream>
Include dependency graph for boolean_influence.cpp:

Go to the source code of this file.

Namespaces

 hal
 
 hal::boolean_influence
 

Functions

Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence (const BooleanFunction &bf, const u32 num_evaluations=32000)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence (const z3::expr &e, const u32 num_evaluations=32000)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_deterministic (const BooleanFunction &bf)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_deterministic (const z3::expr &e)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_subcircuit (const std::vector< Gate * > &gates, const Net *start_net, const u32 num_evaluations=32000)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_gate (const Gate *gate, const u32 num_evaluations=32000)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_subcircuit_deterministic (const std::vector< Gate * > &gates, const Net *start_net)
 
Result< std::map< Net *, double > > hal::boolean_influence::get_boolean_influences_of_gate_deterministic (const Gate *gate)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_with_hal_boolean_function_class (const BooleanFunction &bf, const u32 num_evaluations)
 
Result< std::unordered_map< std::string, double > > hal::boolean_influence::get_boolean_influence_with_z3_expr (const BooleanFunction &bf, const u32 num_evaluations)
 
Result< std::pair< std::map< u32, Gate * >, std::vector< std::vector< double > > > > hal::boolean_influence::get_ff_dependency_matrix (const Netlist *netlist, bool with_boolean_influence)