|
HAL
v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
|
#include "hal_core/netlist/boolean_function.h"#include "hal_core/netlist/gate.h"#include "hal_core/netlist/gate_library/enums/pin_type.h"#include "hal_core/netlist/gate_library/gate_library.h"#include "hal_core/netlist/gate_library/gate_type.h"#include "hal_core/netlist/gate_library/gate_type_component/gate_type_component.h"#include "hal_core/netlist/gate_library/gate_type_component/init_component.h"#include "hal_core/netlist/gate_library/gate_type_component/lut_component.h"#include "hal_core/netlist/net.h"#include "hal_core/netlist/netlist.h"#include "hal_core/utilities/log.h"#include "verilator/verilator.h"#include <filesystem>#include <fstream>#include <set>#include <sstream>#include <vector>#include <cctype>
Go to the source code of this file.
Namespaces | |
| hal | |
| hal::verilator | |
| hal::verilator::converter | |
Functions | |
| bool | hal::verilator::converter::convert_gate_library_to_verilog (const Netlist *nl, const std::filesystem::path verilator_sim_path, const std::filesystem::path model_path="") |
| std::set< std::string > | hal::verilator::converter::get_provided_models (const std::filesystem::path model_path, const std::filesystem::path gate_definition_path) |
| std::unordered_map< GateType *, std::string > | hal::verilator::converter::get_gate_gate_types_from_netlist (const Netlist *nl) |
| std::string | hal::verilator::converter::get_name_for_gate_type (const GateType *gt) |
| std::vector< std::string > | hal::verilator::converter::get_parameters_for_gate (const GateType *gt) |
| std::string | hal::verilator::converter::get_prologue_for_gate_type (const GateType *gt) |
| Result< std::string > | hal::verilator::converter::verilog_function_printer (const BooleanFunction::Node &node, std::vector< std::string > &&operands) |
| std::string | hal::verilator::converter::get_function_for_gate (const GateType *gt) |
| std::string | hal::verilator::converter::get_epilogue_for_gate_type () |