resynthesis.h File Reference

This file contains functions to decompose or re-synthesize combinational parts of a gate-level netlist. More...

#include "hal_core/defines.h"
#include "hal_core/netlist/boolean_function.h"
#include "hal_core/utilities/result.h"

Include dependency graph for resynthesis.h:

Go to the source code of this file.

Namespaces
	hal
	hal::resynthesis

Functions
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)

Detailed Description

This file contains functions to decompose or re-synthesize combinational parts of a gate-level netlist.

Definition in file resynthesis.h.