utils.cpp File Reference

#include "boolean_influence/include/boolean_influence/plugin_boolean_influence.h"
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/netlist/boolean_function/solver.h"
#include "hal_core/netlist/decorators/boolean_function_decorator.h"
#include "hal_core/netlist/decorators/boolean_function_net_decorator.h"
#include "hal_core/netlist/decorators/netlist_traversal_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/netlist/netlist_utils.h"
#include "hal_core/utilities/log.h"
#include <algorithm>
#include <numeric>
#include <sstream>
#include <stdlib.h>

Include dependency graph for utils.cpp:

Go to the source code of this file.

Namespaces
	hal
	hal::module_identification

Functions
std::vector< Net * >	hal::module_identification::get_input_nets (const std::vector< Gate * > &gates)
	Get input nets from a list of gates. More...
std::vector< Net * >	hal::module_identification::get_output_nets (const std::vector< Gate * > &gates, bool only_external_destinations=true)
	Get output nets from a list of gates. More...
std::set< u32 >	hal::module_identification::find_neighboring_registers (const Net *n, const std::vector< std::vector< Gate * >> &registers)
	Find neighboring registers connected to a given net. More...
std::set< u32 >	hal::module_identification::find_neighboring_registers (const std::vector< Net * > nets, const std::vector< std::vector< Gate * >> &registers)
	Find neighboring registers connected to a list of nets. More...
std::vector< std::vector< Net * > >	hal::module_identification::reorder_commutative_operands (const std::vector< std::vector< Net * >> &operands, const std::vector< std::vector< Gate * >> &registers, const u32 permute_start_index=0)
	Reorder commutative operands based on a permutation cache. More...