netlist_preprocessing.h File Reference

#include "hal_core/defines.h"
#include "hal_core/utilities/result.h"
#include <map>
#include <vector>

Include dependency graph for netlist_preprocessing.h:

Go to the source code of this file.

Namespaces
	hal
	hal::netlist_preprocessing

Functions
Result< u32 >	hal::netlist_preprocessing::remove_unused_lut_inputs (Netlist *nl, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::remove_buffers (Netlist *nl, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::remove_redundant_gates (Netlist *nl, const std::function< bool(const Gate *)> &filter=nullptr, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::remove_redundant_loops (Netlist *nl)
Result< u32 >	hal::netlist_preprocessing::remove_redundant_logic_trees (Netlist *nl)
Result< u32 >	hal::netlist_preprocessing::remove_unconnected_gates (Netlist *nl, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::remove_unconnected_nets (Netlist *nl)
Result< u32 >	hal::netlist_preprocessing::remove_unconnected_looped (Netlist *nl)
Result< u32 >	hal::netlist_preprocessing::manual_mux_optimizations (Netlist *nl, GateLibrary *mux_inv_gl)
Result< u32 >	hal::netlist_preprocessing::propagate_constants (Netlist *nl, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::remove_consecutive_inverters (Netlist *nl, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::simplify_lut_inits (Netlist *nl, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::reconstruct_indexed_ff_identifiers (Netlist *nl)
Result< u32 >	hal::netlist_preprocessing::reconstruct_top_module_pin_groups (Netlist *nl)
Result< std::monostate >	hal::netlist_preprocessing::parse_def_file (Netlist *nl, const std::filesystem::path &def_file)
Result< std::vector< Module * > >	hal::netlist_preprocessing::create_multi_bit_gate_modules (Netlist *nl, const std::map< std::string, std::map< std::string, std::vector< std::string >>> &concatenated_pin_groups)
Result< std::vector< Net * > >	hal::netlist_preprocessing::create_nets_at_unconnected_pins (Netlist *nl, const std::vector< Gate * > &gates={})
Result< u32 >	hal::netlist_preprocessing::unify_ff_outputs (Netlist *nl, const std::vector< Gate * > &ffs={}, GateType *inverter_type=nullptr)