hal::VerilogParser Class Reference

#include </home/runner/work/hal/hal/plugins/verilog_parser/include/verilog_parser/verilog_parser.h>

Inheritance diagram for hal::VerilogParser:

Collaboration diagram for hal::VerilogParser:

Public Member Functions
	VerilogParser ()=default
	~VerilogParser ()=default
Result< std::monostate >	parse (const std::filesystem::path &file_path) override
Result< std::unique_ptr< Netlist > >	instantiate (const GateLibrary *gate_library) override
Public Member Functions inherited from hal::NetlistParser
	NetlistParser ()=default
virtual	~NetlistParser ()=default
Result< std::unique_ptr< Netlist > >	parse_and_instantiate (const std::filesystem::path &file_path, const GateLibrary *gate_library)

Detailed Description

A netlist parser for gate-level Verilog.

Definition at line 50 of file verilog_parser.h.

Constructor & Destructor Documentation

VerilogParser()

hal::VerilogParser::VerilogParser ( )

default

~VerilogParser()

hal::VerilogParser::~VerilogParser ( )

default

Member Function Documentation

instantiate()

Result< std::unique_ptr< Netlist > > hal::VerilogParser::instantiate ( const GateLibrary *  gate_library )

overridevirtual

Instantiate the parsed Verilog netlist using the specified gate library.

Parameters

[in]

gate_library

- The gate library.

Returns

A pointer to the resulting netlist.

Implements hal::NetlistParser.

Definition at line 238 of file verilog_parser.cpp.

References hal::Netlist::create_net(), hal::netlist_factory::create_netlist(), hal::Netlist::delete_net(), ERR, ERR_APPEND, hal::GateLibrary::get_gate_types(), hal::GateLibrary::get_gnd_gate_types(), hal::GateLibrary::get_name(), hal::Net::get_name(), hal::Netlist::get_nets(), hal::GateLibrary::get_vcc_gate_types(), hal::Netlist::load_gate_locations_from_data(), hal::ShortestPath::module(), name, net, and OK.

parse()

Result< std::monostate > hal::VerilogParser::parse ( const std::filesystem::path &  file_path )

overridevirtual

Parse a Verilog netlist into an internal intermediate format.

Parameters

[in]

file_path

- Path to the Verilog netlist file.

Returns

true on success, false otherwise.

Implements hal::NetlistParser.

Definition at line 22 of file verilog_parser.cpp.

References ERR, ERR_APPEND, and OK.

---

The documentation for this class was generated from the following files:

• plugins/verilog_parser/include/verilog_parser/verilog_parser.h
• plugins/verilog_parser/src/verilog_parser.cpp