|
HAL
v4.5.0-83-g30c8f0afc
The Hardware Analyzer - a comprehensive reverse engineering and manipulation framework for gate-level netlists.
|
#include <hal_core/utilities/enums.h>

Public Member Functions | |
| std::map< SMT::SolverType, std::string > | data |
| std::map< SMT::SolverResultType, std::string > | data |
| std::map< BooleanFunction::Value, std::string > | data |
| std::map< NetlistEvent::event, std::string > | data |
| std::map< GateEvent::event, std::string > | data |
| std::map< NetEvent::event, std::string > | data |
| std::map< ModuleEvent::event, std::string > | data |
| std::map< GroupingEvent::event, std::string > | data |
| std::map< AsyncSetResetBehavior, std::string > | data |
| std::map< GateTypeProperty, std::string > | data |
| std::map< PinDirection, std::string > | data |
| std::map< PinEvent, std::string > | data |
| std::map< PinType, std::string > | data |
| std::map< GateTypeComponent::ComponentType, std::string > | data |
| std::map< SMT::SolverType, std::string > | data |
| std::map< SMT::SolverCall, std::string > | data |
| std::map< SMT::SolverResultType, std::string > | data |
| std::map< BooleanFunction::Value, std::string > | data |
| std::map< NetlistEvent::event, std::string > | data |
| std::map< GateEvent::event, std::string > | data |
| std::map< NetEvent::event, std::string > | data |
| std::map< ModuleEvent::event, std::string > | data |
| std::map< GroupingEvent::event, std::string > | data |
| std::map< AsyncSetResetBehavior, std::string > | data |
| std::map< GateTypeProperty, std::string > | data |
| std::map< PinDirection, std::string > | data |
| std::map< PinEvent, std::string > | data |
| std::map< PinType, std::string > | data |
| std::map< GateTypeComponent::ComponentType, std::string > | data |
| std::map< graph_algorithm::NetlistGraph::Direction, std::string > | data |
| std::map< graph_algorithm::NetlistGraph::Direction, std::string > | data |
| std::map< hawkeye::DetectionConfiguration::Control, std::string > | data |
| std::map< hawkeye::DetectionConfiguration::Components, std::string > | data |
| std::map< hawkeye::DetectionConfiguration::Control, std::string > | data |
| std::map< hawkeye::DetectionConfiguration::Components, std::string > | data |
| std::map< module_identification::CandidateType, std::string > | data |
| std::map< xilinx_toolbox::BELType, std::string > | data |
| std::map< xilinx_toolbox::LOCType, std::string > | data |
| std::map< xilinx_toolbox::BELType, std::string > | data |
| std::map< xilinx_toolbox::LOCType, std::string > | data |
Static Public Attributes | |
| static std::map< T, std::string > | data |
Holds the string representations of the values of an enum type. Specialize this template for an enum to make it usable with enum_to_string and enum_from_string. Must be declared for every enum.
| std::map< BooleanFunction::Value, std::string > hal::EnumStrings< BooleanFunction::Value >::data |
Definition at line 971 of file boolean_function.h.
| std::map< SMT::SolverType, std::string > hal::EnumStrings< SMT::SolverType >::data |
| std::map< SMT::SolverResultType, std::string > hal::EnumStrings< SMT::SolverResultType >::data |
| std::map< NetlistEvent::event, std::string > hal::EnumStrings< NetlistEvent::event >::data |
Definition at line 66 of file event_handler.h.
| std::map< GateEvent::event, std::string > hal::EnumStrings< GateEvent::event >::data |
Definition at line 85 of file event_handler.h.
| std::map< NetEvent::event, std::string > hal::EnumStrings< NetEvent::event >::data |
Definition at line 106 of file event_handler.h.
| std::map< ModuleEvent::event, std::string > hal::EnumStrings< ModuleEvent::event >::data |
Definition at line 134 of file event_handler.h.
| std::map< GroupingEvent::event, std::string > hal::EnumStrings< GroupingEvent::event >::data |
Definition at line 158 of file event_handler.h.
| std::map< AsyncSetResetBehavior, std::string > hal::EnumStrings< AsyncSetResetBehavior >::data |
Definition at line 46 of file async_set_reset_behavior.h.
| std::map< GateTypeProperty, std::string > hal::EnumStrings< GateTypeProperty >::data |
Definition at line 69 of file gate_type_property.h.
| std::map< PinDirection, std::string > hal::EnumStrings< PinDirection >::data |
Definition at line 45 of file pin_direction.h.
| std::map< PinEvent, std::string > hal::EnumStrings< PinEvent >::data |
The pin event is encoded in the four least significant bits of the associated event data, so there is room for at most 16 distinct values.
Definition at line 67 of file pin_event.h.
| std::map< PinType, std::string > hal::EnumStrings< PinType >::data |
Definition at line 61 of file pin_type.h.
| std::map< GateTypeComponent::ComponentType, std::string > hal::EnumStrings< GateTypeComponent::ComponentType >::data |
Definition at line 218 of file gate_type_component.h.
| std::map< graph_algorithm::NetlistGraph::Direction, std::string > hal::EnumStrings< graph_algorithm::NetlistGraph::Direction >::data |
Definition at line 400 of file netlist_graph.h.
| std::map< graph_algorithm::NetlistGraph::Direction, std::string > hal::EnumStrings< graph_algorithm::NetlistGraph::Direction >::data |
Definition at line 911 of file netlist_graph.cpp.
References hal::graph_algorithm::NetlistGraph::ALL, hal::graph_algorithm::NetlistGraph::IN, hal::graph_algorithm::NetlistGraph::NONE, and hal::graph_algorithm::NetlistGraph::OUT.
| std::map< hawkeye::DetectionConfiguration::Control, std::string > hal::EnumStrings< hawkeye::DetectionConfiguration::Control >::data |
Definition at line 138 of file candidate_search.h.
| std::map< hawkeye::DetectionConfiguration::Components, std::string > hal::EnumStrings< hawkeye::DetectionConfiguration::Components >::data |
Definition at line 141 of file candidate_search.h.
| std::map< hawkeye::DetectionConfiguration::Control, std::string > hal::EnumStrings< hawkeye::DetectionConfiguration::Control >::data |
| std::map< hawkeye::DetectionConfiguration::Components, std::string > hal::EnumStrings< hawkeye::DetectionConfiguration::Components >::data |
Definition at line 671 of file candidate_search.cpp.
References hal::hawkeye::DetectionConfiguration::CHECK_SCC, and hal::hawkeye::DetectionConfiguration::NONE.
| std::map< module_identification::CandidateType, std::string > hal::EnumStrings< module_identification::CandidateType >::data |
Definition at line 55 of file configuration.cpp.
References hal::module_identification::absolute, hal::module_identification::addition, hal::module_identification::addition_offset, hal::module_identification::constant_multiplication, hal::module_identification::constant_multiplication_offset, hal::module_identification::counter, hal::module_identification::equal, hal::module_identification::less_equal, hal::module_identification::less_than, hal::module_identification::mixed, hal::module_identification::negation, hal::module_identification::none, hal::module_identification::signed_less_equal, hal::module_identification::signed_less_than, hal::module_identification::subtraction, and hal::module_identification::value_check.
| std::map< xilinx_toolbox::BELType, std::string > hal::EnumStrings< xilinx_toolbox::BELType >::data |
| std::map< xilinx_toolbox::LOCType, std::string > hal::EnumStrings< xilinx_toolbox::LOCType >::data |
| std::map< xilinx_toolbox::BELType, std::string > hal::EnumStrings< xilinx_toolbox::BELType >::data |
Definition at line 8 of file types.cpp.
References hal::xilinx_toolbox::A5FF, hal::xilinx_toolbox::A5LUT, hal::xilinx_toolbox::A6LUT, hal::xilinx_toolbox::AFF, hal::xilinx_toolbox::B5FF, hal::xilinx_toolbox::B5LUT, hal::xilinx_toolbox::B6LUT, hal::xilinx_toolbox::BFF, hal::xilinx_toolbox::BUFG, hal::xilinx_toolbox::C5FF, hal::xilinx_toolbox::C5LUT, hal::xilinx_toolbox::C6LUT, hal::xilinx_toolbox::CARRY4, hal::xilinx_toolbox::CFF, hal::xilinx_toolbox::D5FF, hal::xilinx_toolbox::D5LUT, hal::xilinx_toolbox::D6LUT, hal::xilinx_toolbox::DFF, hal::xilinx_toolbox::F7AMUX, hal::xilinx_toolbox::F7BMUX, hal::xilinx_toolbox::F8MUX, hal::xilinx_toolbox::INBUF_EN, and hal::xilinx_toolbox::OUTBUF.
| std::map< xilinx_toolbox::LOCType, std::string > hal::EnumStrings< xilinx_toolbox::LOCType >::data |
Definition at line 35 of file types.cpp.
References hal::xilinx_toolbox::BUFGCTRL, hal::xilinx_toolbox::PIN, hal::xilinx_toolbox::RAMB36, and hal::xilinx_toolbox::SLICE.
| std::map< BooleanFunction::Value, std::string > hal::EnumStrings< BooleanFunction::Value >::data |
Definition at line 19 of file boolean_function.cpp.
| std::map< SMT::SolverType, std::string > hal::EnumStrings< SMT::SolverType >::data |
Definition at line 353 of file types.cpp.
References hal::SMT::Bitwuzla, hal::SMT::Boolector, hal::SMT::Unknown, and hal::SMT::Z3.
| std::map< SMT::SolverCall, std::string > hal::EnumStrings< SMT::SolverCall >::data |
Definition at line 359 of file types.cpp.
References hal::SMT::Binary, and hal::SMT::Library.
| std::map< SMT::SolverResultType, std::string > hal::EnumStrings< SMT::SolverResultType >::data |
Definition at line 362 of file types.cpp.
References hal::SMT::Sat, hal::SMT::Unknown, and hal::SMT::UnSat.
| std::map< NetlistEvent::event, std::string > hal::EnumStrings< NetlistEvent::event >::data |
Definition at line 12 of file event_handler.cpp.
References hal::NetlistEvent::design_name_changed, hal::NetlistEvent::device_name_changed, hal::NetlistEvent::id_changed, hal::NetlistEvent::input_filename_changed, hal::NetlistEvent::marked_global_gnd, hal::NetlistEvent::marked_global_input, hal::NetlistEvent::marked_global_output, hal::NetlistEvent::marked_global_vcc, hal::NetlistEvent::unmarked_global_gnd, hal::NetlistEvent::unmarked_global_input, hal::NetlistEvent::unmarked_global_output, and hal::NetlistEvent::unmarked_global_vcc.
| std::map< GateEvent::event, std::string > hal::EnumStrings< GateEvent::event >::data |
Definition at line 26 of file event_handler.cpp.
References hal::GateEvent::boolean_function_changed, hal::GateEvent::created, hal::GateEvent::location_changed, hal::GateEvent::name_changed, and hal::GateEvent::removed.
| std::map< NetEvent::event, std::string > hal::EnumStrings< NetEvent::event >::data |
Definition at line 33 of file event_handler.cpp.
References hal::NetEvent::created, hal::NetEvent::dst_added, hal::NetEvent::dst_removed, hal::NetEvent::name_changed, hal::NetEvent::removed, hal::NetEvent::src_added, and hal::NetEvent::src_removed.
| std::map< ModuleEvent::event, std::string > hal::EnumStrings< ModuleEvent::event >::data |
Definition at line 42 of file event_handler.cpp.
References hal::ModuleEvent::created, hal::ModuleEvent::gate_assigned, hal::ModuleEvent::gate_removed, hal::ModuleEvent::gates_assign_begin, hal::ModuleEvent::gates_assign_end, hal::ModuleEvent::gates_remove_begin, hal::ModuleEvent::gates_remove_end, hal::ModuleEvent::name_changed, hal::ModuleEvent::parent_changed, hal::ModuleEvent::pin_changed, hal::ModuleEvent::removed, hal::ModuleEvent::submodule_added, hal::ModuleEvent::submodule_removed, and hal::ModuleEvent::type_changed.
| std::map< GroupingEvent::event, std::string > hal::EnumStrings< GroupingEvent::event >::data |
Definition at line 58 of file event_handler.cpp.
References hal::GroupingEvent::created, hal::GroupingEvent::gate_assigned, hal::GroupingEvent::gate_removed, hal::GroupingEvent::module_assigned, hal::GroupingEvent::module_removed, hal::GroupingEvent::name_changed, hal::GroupingEvent::net_assigned, hal::GroupingEvent::net_removed, and hal::GroupingEvent::removed.
| std::map< AsyncSetResetBehavior, std::string > hal::EnumStrings< AsyncSetResetBehavior >::data |
Definition at line 6 of file async_set_reset_behavior.cpp.
References hal::H, hal::L, hal::N, hal::T, hal::undef, and hal::X.
| std::map< GateTypeProperty, std::string > hal::EnumStrings< GateTypeProperty >::data |
Definition at line 6 of file gate_type_property.cpp.
References hal::c_and, hal::c_aoi, hal::c_buffer, hal::c_carry, hal::c_full_adder, hal::c_half_adder, hal::c_inverter, hal::c_lut, hal::c_mux, hal::c_nand, hal::c_nor, hal::c_oai, hal::c_or, hal::c_xnor, hal::c_xor, hal::combinational, hal::delay, hal::dsp, hal::ff, hal::fifo, hal::ground, hal::io, hal::latch, hal::oscillator, hal::pll, hal::power, hal::ram, hal::scan, hal::sequential, hal::shift_register, and hal::tristate.
| std::map< PinDirection, std::string > hal::EnumStrings< PinDirection >::data |
Definition at line 6 of file pin_direction.cpp.
References hal::inout, hal::input, hal::internal, hal::none, and hal::output.
| std::map< PinEvent, std::string > hal::EnumStrings< PinEvent >::data |
Definition at line 10 of file pin_event.cpp.
References hal::GroupCreate, hal::GroupDelete, hal::GroupDirChange, hal::GroupRename, hal::GroupReorder, hal::GroupTypeChange, hal::PinAssignToGroup, hal::PinCreate, hal::PinDelete, hal::PinDirChange, hal::PinRename, hal::PinReorder, hal::PinsReload, hal::PinTypeChange, and hal::unknown.
| std::map< PinType, std::string > hal::EnumStrings< PinType >::data |
Definition at line 6 of file pin_type.cpp.
References hal::address, hal::carry, hal::clock, hal::control, hal::data, hal::done, hal::enable, hal::error, hal::error_detection, hal::ground, hal::io_pad, hal::lut, hal::neg_state, hal::none, hal::power, hal::reset, hal::select, hal::set, hal::state, hal::status, and hal::sum.
| std::map< GateTypeComponent::ComponentType, std::string > hal::EnumStrings< GateTypeComponent::ComponentType >::data |
Definition at line 15 of file gate_type_component.cpp.
References hal::GateTypeComponent::ff, hal::GateTypeComponent::init, hal::GateTypeComponent::latch, hal::GateTypeComponent::lut, hal::GateTypeComponent::mac, hal::GateTypeComponent::ram, hal::GateTypeComponent::ram_port, and hal::GateTypeComponent::state.
|
static |