HAL  v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
Namespaces | Functions
resynthesis.cpp File Reference
#include "hal_core/netlist/decorators/boolean_function_net_decorator.h"
#include "hal_core/netlist/decorators/netlist_modification_decorator.h"
#include "hal_core/netlist/decorators/subgraph_netlist_decorator.h"
#include "hal_core/netlist/gate.h"
#include "hal_core/netlist/gate_library/gate_library_manager.h"
#include "hal_core/netlist/module.h"
#include "hal_core/netlist/net.h"
#include "hal_core/netlist/netlist.h"
#include "hal_core/netlist/netlist_factory.h"
#include "hal_core/netlist/netlist_writer/netlist_writer_manager.h"
#include "hal_core/utilities/log.h"
#include "resynthesis/resynthesis.h"
#include <array>
#include <cstdlib>
#include <filesystem>
#include <fstream>
#include <string>
#include <string_view>
Include dependency graph for resynthesis.cpp:

Go to the source code of this file.

Namespaces

 hal
 
 hal::yosys
 
 hal::resynthesis
 

Functions

const std::string hal::yosys::get_helper_gate_lib ()
 
Result< std::string > hal::yosys::query_binary_path ()
 
Result< std::monostate > hal::resynthesis::decompose_gate (Netlist *nl, Gate *gate, const bool delete_gate=true)
 
Result< u32 > hal::resynthesis::decompose_gates_of_type (Netlist *nl, const std::vector< const GateType * > &gate_types)
 
Result< std::monostate > hal::resynthesis::resynthesize_gate (Netlist *nl, Gate *gate, GateLibrary *target_gl, const bool delete_gate=true)
 
Result< u32 > hal::resynthesis::resynthesize_gates (Netlist *nl, const std::vector< Gate * > &gates, GateLibrary *target_gl)
 
Result< u32 > hal::resynthesis::resynthesize_gates_of_type (Netlist *nl, const std::vector< const GateType * > &gate_types, GateLibrary *target_gl)
 
Result< u32 > hal::resynthesis::resynthesize_subgraph (Netlist *nl, const std::vector< Gate * > &subgraph, GateLibrary *target_gl)
 
Result< u32 > hal::resynthesis::resynthesize_subgraph_of_type (Netlist *nl, const std::vector< const GateType * > &gate_types, GateLibrary *target_gl)
 
Result< std::monostate > hal::resynthesis::replace_subgraph_with_netlist (const std::vector< Gate * > &subgraph, const std::unordered_map< Net *, std::vector< Net * >> &global_io_mapping, const Netlist *src_nl, Netlist *dst_nl, const bool delete_subgraph_gates)
 
Result< std::unique_ptr< Netlist > > hal::resynthesis::generate_resynth_netlist_for_boolean_functions (const std::unordered_map< std::string, BooleanFunction > &bfs, const std::filesystem::path &genlib_path, GateLibrary *target_gl, const bool optimize_area)