|
HAL
v4.5.0-124-g47ab54673
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 986 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 453 of file netlist_graph.h.
| std::map< graph_algorithm::NetlistGraph::Direction, std::string > hal::EnumStrings< graph_algorithm::NetlistGraph::Direction >::data |
Definition at line 1062 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 117 of file candidate_search.h.
| std::map< hawkeye::DetectionConfiguration::Components, std::string > hal::EnumStrings< hawkeye::DetectionConfiguration::Components >::data |
Definition at line 120 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 721 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 21 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 |