Index

_

__add__() (hal_py.BooleanFunction method) __and__() (hal_py.BooleanFunction method) __annotations__ (hal_py.BooleanFunction attribute) (hal_py.BooleanFunction.Node attribute) (hal_py.BooleanFunction.NodeType attribute) (hal_py.BooleanFunction.Value attribute) (hal_py.SMT.Constraint attribute) (hal_py.SMT.Model attribute) (hal_py.SMT.QueryConfig attribute) (hal_py.SMT.Solver attribute) (hal_py.SMT.SolverResult attribute) (hal_py.SMT.SolverResultType attribute) (hal_py.SMT.SolverType attribute) (hal_py.SMT.SymbolicExecution attribute) (hal_py.SMT.SymbolicState attribute) __eq__() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) (hal_py.BooleanFunction.Value method) (hal_py.SMT.Model method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __getstate__() (hal_py.BooleanFunction.Value method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __hash__ (hal_py.BooleanFunction attribute) (hal_py.BooleanFunction.Node attribute) (hal_py.SMT.Model attribute) __hash__() (hal_py.BooleanFunction.Value method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __iadd__() (hal_py.BooleanFunction method) __iand__() (hal_py.BooleanFunction method) __imul__() (hal_py.BooleanFunction method) __index__() (hal_py.BooleanFunction.Value method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __init__() (dataflow.Configuration method) (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) (hal_py.BooleanFunction.NodeType method) (hal_py.BooleanFunction.Value method) (hal_py.BooleanFunctionDecorator method) (hal_py.BooleanFunctionNetDecorator method) (hal_py.Endpoint method) (hal_py.GateLibrary method) (hal_py.GateType method) (hal_py.NetlistModificationDecorator method) (hal_py.NetlistTraversalDecorator method) (hal_py.SMT.Constraint method) (hal_py.SMT.Model method) (hal_py.SMT.QueryConfig method) (hal_py.SMT.Solver method) (hal_py.SMT.SolverResult method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) (hal_py.SMT.SymbolicExecution method) (hal_py.SMT.SymbolicState method) (hal_py.SubgraphNetlistDecorator method) (hawkeye.DetectionConfiguration method) (hawkeye.RegisterCandidate method) (hawkeye.RoundCandidate method) (hawkeye.SBoxCandidate method) (hawkeye.SBoxDatabase method) (module_identification.Configuration method) (module_identification.Result method) (module_identification.WordLevelOperation method)

__int__() (hal_py.BooleanFunction.Value method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __invert__() (hal_py.BooleanFunction method) __ior__() (hal_py.BooleanFunction method) __isub__() (hal_py.BooleanFunction method) __ixor__() (hal_py.BooleanFunction method) __lt__() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) __members__ (hal_py.BooleanFunction.Value attribute) (hal_py.SMT.SolverResultType attribute) (hal_py.SMT.SolverType attribute) __module__ (hal_py.BooleanFunction attribute) (hal_py.BooleanFunction.Node attribute) (hal_py.BooleanFunction.NodeType attribute) (hal_py.BooleanFunction.Value attribute) (hal_py.SMT.Constraint attribute) (hal_py.SMT.Model attribute) (hal_py.SMT.QueryConfig attribute) (hal_py.SMT.Solver attribute) (hal_py.SMT.SolverResult attribute) (hal_py.SMT.SolverResultType attribute) (hal_py.SMT.SolverType attribute) (hal_py.SMT.SymbolicExecution attribute) (hal_py.SMT.SymbolicState attribute) __mul__() (hal_py.BooleanFunction method) __ne__() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) (hal_py.BooleanFunction.Value method) (hal_py.SMT.Model method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __or__() (hal_py.BooleanFunction method) __repr__() (hal_py.BooleanFunction.Value method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __setstate__() (hal_py.BooleanFunction.Value method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __str__() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) (hal_py.BooleanFunction.Value method) (hal_py.SMT.SolverResultType method) (hal_py.SMT.SolverType method) __sub__() (hal_py.BooleanFunction method) __xor__() (hal_py.BooleanFunction method)

A

Add (hal_py.BooleanFunction.NodeType attribute) Add() (hal_py.BooleanFunction static method) add() (hawkeye.SBoxDatabase method) add_boolean_accept_list_waveform() (netlist_simulator_controller.NetlistSimulatorController method) add_boolean_expression_waveform() (netlist_simulator_controller.NetlistSimulatorController method) add_boolean_function() (hal_py.Gate method) (hal_py.GateType method) add_boolean_functions() (hal_py.GateType method) add_clock_frequency() (netlist_simulator_controller.NetlistSimulatorController method) add_clock_period() (netlist_simulator_controller.NetlistSimulatorController method) add_destination() (hal_py.Net method) add_edges() (graph_algorithm.NetlistGraph method) add_event() (netlist_simulator.Simulation method) add_gates() (netlist_simulator_controller.NetlistSimulatorController method) add_include() (hal_py.GateLibrary method) add_source() (hal_py.Net method) add_trigger_time() (netlist_simulator_controller.NetlistSimulatorController method) add_waveform() (netlist_simulator_controller.WaveDataGroup method) add_waveform_group() (netlist_simulator_controller.NetlistSimulatorController method) address_group (hal_py.RAMPortComponent property) affected_net (netlist_simulator_controller.WaveEvent property) already_classified_candidates (module_identification.Configuration property) analyze() (in module dataflow)

And (hal_py.BooleanFunction.NodeType attribute) And() (hal_py.BooleanFunction static method) Architecture (class in module_identification) arity (hal_py.BooleanFunction.Node property) ascending (hal_py.GatePinGroup property) (hal_py.ModulePinGroup property) Ashr (hal_py.BooleanFunction.NodeType attribute) Ashr() (hal_py.BooleanFunction static method) assign_base_candidates_to_iterations() (module_identification.Result static method) assign_gate() (hal_py.Grouping method) (hal_py.Module method) assign_gate_by_id() (hal_py.Grouping method) assign_gates() (hal_py.Module method) assign_module() (hal_py.Grouping method) assign_module_by_id() (hal_py.Grouping method) assign_net() (hal_py.Grouping method) assign_net_by_id() (hal_py.Grouping method) assign_pin_to_group() (hal_py.GateType method) (hal_py.Module method) assign_property() (hal_py.GateType method) async_reset_function (hal_py.FFComponent property) (hal_py.LatchComponent property) async_set_function (hal_py.FFComponent property) (hal_py.LatchComponent property)

B

base_gates (module_identification.VerifiedCandidate property) BasePluginInterface (class in hal_py) bit_size (hal_py.RAMComponent property) bitorder_propagation module BitorderPropagationPlugin (class in bitorder_propagation) blocked_base_candidates (module_identification.Configuration property) boolean_functions (hal_py.Gate property) (hal_py.GateType property)

BooleanFunction (class in hal_py) BooleanFunction.Node (class in hal_py) BooleanFunction.NodeType (class in hal_py) BooleanFunction.Value (class in hal_py) BooleanFunctionDecorator (class in hal_py) BooleanFunctionNetDecorator (class in hal_py) BooleanInfluencePlugin (class in boolean_influence) Boolector (hal_py.SMT.SolverType attribute)

C

CandidateType (class in module_identification) clear_caches() (hal_py.Netlist method) clock_function (hal_py.FFComponent property) (hal_py.RAMPortComponent property) clone() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) components (hal_py.GateType property) (hal_py.GateTypeComponent property) (hawkeye.DetectionConfiguration property) compute_linear_representative() (hawkeye.SBoxDatabase static method) compute_truth_table() (hal_py.BooleanFunction method) Concat (hal_py.BooleanFunction.NodeType attribute) Concat() (hal_py.BooleanFunction static method) Configuration (class in dataflow) (class in module_identification) connect_gates() (hal_py.NetlistModificationDecorator method) connect_nets() (hal_py.NetlistModificationDecorator method) Const() (hal_py.BooleanFunction static method) constant (hal_py.BooleanFunction.Node property) Constant (hal_py.BooleanFunction.NodeType attribute) Constant() (hal_py.BooleanFunction.Node static method) Constraint (class in hal_py.SMT) constraint (hal_py.SMT.Constraint property) constraints (hal_py.SMT.Solver property) contains_gate() (hal_py.Grouping method) (hal_py.Module method) contains_gate_by_id() (hal_py.Grouping method) contains_gate_type() (hal_py.GateLibrary method) contains_gate_type_by_name() (hal_py.GateLibrary method) contains_module() (hal_py.Grouping method) (hal_py.Module method)

contains_module_by_id() (hal_py.Grouping method) contains_net() (hal_py.Grouping method) (hal_py.Module method) contains_net_by_id() (hal_py.Grouping method) contains_pin() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) control (hawkeye.DetectionConfiguration property) control_pin_types (dataflow.Configuration property) control_signal_mappings (module_identification.VerifiedCandidate property) control_signals (module_identification.VerifiedCandidate property) copy() (graph_algorithm.NetlistGraph method) (hal_py.Netlist method) copy_netlist() (in module hal_py.NetlistUtils) copy_subgraph_netlist() (hal_py.SubgraphNetlistDecorator method) create_gate() (hal_py.Netlist method) create_grouping() (hal_py.Netlist method) create_module() (hal_py.Netlist method) create_modules() (dataflow.Result method) create_modules_in_netlist() (module_identification.Result method) create_multi_bit_gate_modules() (in module netlist_preprocessing) create_net() (hal_py.Netlist method) create_netlist() (in module hal_py.NetlistFactory) create_nets_at_unconnected_pins() (in module netlist_preprocessing) create_pin() (hal_py.GateType method) (hal_py.Module method) create_pin_group() (hal_py.GateType method) (hal_py.Module method) create_project_directory() (hal_py.ProjectManager method) create_simulation_engine() (netlist_simulator_controller.NetlistSimulatorController method) create_simulator_controller() (netlist_simulator_controller.NetlistSimulatorControllerPlugin method) ctrl_signals (module_identification.WordLevelOperation property)

D

data (hal_py.DataContainer property) (hal_py.Gate property) (hal_py.Module property) (hal_py.Net property) data_group (hal_py.RAMPortComponent property) data_in_function (hal_py.LatchComponent property) DataContainer (class in hal_py) dataflow module DataflowPlugin (class in dataflow) decompose_gate() (in module resynthesis) decompose_gates_of_type() (in module resynthesis) delete_data() (hal_py.DataContainer method) (hal_py.Gate method) (hal_py.Module method) (hal_py.Net method) delete_edges() (graph_algorithm.NetlistGraph method) delete_gate() (hal_py.Netlist method) delete_grouping() (hal_py.Netlist method) delete_module() (hal_py.Netlist method) delete_modules() (hal_py.NetlistModificationDecorator method) delete_net() (hal_py.Netlist method) delete_pin_group() (hal_py.GateType method) (hal_py.Module method) dependencies (boolean_influence.BooleanInfluencePlugin property) (graph_algorithm.GraphAlgorithmPlugin property) (hal_py.BasePluginInterface property) (hawkeye.HawkeyePlugin property) (module_identification.ModuleIdentificationPlugin property) (netlist_preprocessing.NetlistPreprocessingPlugin property) (resynthesis.ResynthesisPlugin property) (xilinx_toolbox.XilinxToolboxPlugin property)

description (bitorder_propagation.BitorderPropagationPlugin property) (boolean_influence.BooleanInfluencePlugin property) (dataflow.DataflowPlugin property) (graph_algorithm.GraphAlgorithmPlugin property) (hal_py.BasePluginInterface property) (hawkeye.HawkeyePlugin property) (module_identification.ModuleIdentificationPlugin property) (netlist_preprocessing.NetlistPreprocessingPlugin property) (resynthesis.ResynthesisPlugin property) (solve_fsm.SolveFsmPlugin property) (xilinx_toolbox.XilinxToolboxPlugin property) deselect() (hal_gui.GuiApi method) deselectAllItems() (hal_gui.GuiApi method) deselectGate() (hal_gui.GuiApi method) deselectModule() (hal_gui.GuiApi method) deselectNet() (hal_gui.GuiApi method) deserialize_from_file() (in module hal_py.NetlistSerializer) deserialize_from_string() (in module hal_py.NetlistSerializer) design_name (hal_py.Netlist property) destination_pin (hal_py.Endpoint property) destinations (hal_py.Net property) detect_candidates() (in module hawkeye) DetectionConfiguration (class in hawkeye) DetectionConfiguration.Components (class in hawkeye) DetectionConfiguration.Control (class in hawkeye) device_name (hal_py.Netlist property) direction (hal_py.GatePin property) (hal_py.GatePinGroup property) (hal_py.ModulePin property) (hal_py.ModulePinGroup property)

E

empty() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) enable_automatic_net_checks() (hal_py.Netlist method) enable_function (hal_py.LatchComponent property) (hal_py.RAMPortComponent property) enable_stages (dataflow.Configuration property) Endpoint (class in hal_py) enforce_type_consistency (dataflow.Configuration property)

Eq (hal_py.BooleanFunction.NodeType attribute) Eq() (hal_py.BooleanFunction static method) equivalent_types (hawkeye.DetectionConfiguration property) evaluate() (hal_py.BooleanFunction method) (hal_py.SMT.Model method) (hal_py.SMT.SymbolicExecution method) execute() (in module module_identification) execute_on_gates() (in module module_identification) expected_sizes (dataflow.Configuration property)

F

fan_in_endpoints (hal_py.Gate property) fan_in_nets (hal_py.Gate property) fan_out_endpoints (hal_py.Gate property) fan_out_nets (hal_py.Gate property) FFComponent (class in hal_py)

from_file() (hawkeye.SBoxDatabase static method) from_netlist() (graph_algorithm.NetlistGraph static method) from_netlist_no_edges() (graph_algorithm.NetlistGraph static method) from_register_candidate() (hawkeye.RoundCandidate static method) from_string() (hal_py.BooleanFunction static method)

G

Gate (class in hal_py) gate (hal_py.Endpoint property) gate_ids (hal_py.Grouping property) gate_library (hal_py.GateType property) (hal_py.Netlist property) gate_types (dataflow.Configuration property) (hal_py.GateLibrary property) GateLibrary (class in hal_py) GatePin (class in hal_py) GatePinGroup (class in hal_py) gatePosition() (hal_gui.GuiApi.GridPlacement method) gates (hal_py.Grouping property) (hal_py.Module property) (hal_py.Netlist property) (module_identification.VerifiedCandidate property) GateType (class in hal_py) GateTypeComponent (class in hal_py) GateTypeComponent.ComponentType (class in hal_py) GateTypeProperty (class in hal_py) generate_dot_graph() (in module solve_fsm) generate_model (hal_py.SMT.QueryConfig property) generate_vcd() (netlist_simulator.NetlistSimulator method) (netlist_simulator_controller.NetlistSimulatorController method) get() (hal_py.SMT.SymbolicState method) get_address_group() (hal_py.RAMPortComponent method) get_all_gates() (module_identification.Result method) get_all_shortest_paths() (in module graph_algorithm) get_all_verified_gates() (module_identification.Result method) get_arity() (hal_py.BooleanFunction.Node method) get_arity_of_type() (hal_py.BooleanFunction.Node static method) get_assignment() (hal_py.SMT.Constraint method) get_async_reset_function() (hal_py.FFComponent method) (hal_py.LatchComponent method) get_async_set_function() (hal_py.FFComponent method) (hal_py.LatchComponent method) get_async_set_reset_behavior() (hal_py.FFComponent method) (hal_py.LatchComponent method) get_base_directory() (in module hal_py.CoreUtils) get_binary_directory() (in module hal_py.CoreUtils) get_bit_size() (hal_py.RAMComponent method) get_boolean_function() (hal_py.Gate method) (hal_py.GateType method) get_boolean_function_from() (hal_py.BooleanFunctionDecorator static method) get_boolean_functions() (hal_py.Gate method) (hal_py.GateType method) get_boolean_variable() (hal_py.BooleanFunctionNetDecorator method) get_boolean_variable_name() (hal_py.BooleanFunctionNetDecorator method) get_candidate_by_id() (module_identification.Result method) get_candidate_gates() (module_identification.Result method) get_candidate_gates_by_id() (module_identification.Result method) get_candidate_info() (module_identification.VerifiedCandidate method) get_candidates() (module_identification.Result method) get_clock_function() (hal_py.FFComponent method) (hal_py.RAMPortComponent method) get_common_inputs() (in module hal_py.NetlistUtils) get_complex_gate_chain() (in module hal_py.NetlistUtils) get_component() (hal_py.GateType method) (hal_py.GateTypeComponent method) get_components() (hal_py.GateType method) (hal_py.GateTypeComponent method) get_connected_components() (in module graph_algorithm) get_constant_value() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) get_constant_value_u64() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) get_constraints() (hal_py.SMT.Solver method) get_control_inputs() (hawkeye.RoundCandidate method) get_data() (hal_py.DataContainer method) (hal_py.Gate method) (hal_py.Module method) (hal_py.Net method) get_data_group() (hal_py.RAMPortComponent method) get_data_in_function() (hal_py.LatchComponent method) get_data_map() (hal_py.DataContainer method) (hal_py.Gate method) (hal_py.Module method) (hal_py.Net method) get_default_log_directory() (in module hal_py.CoreUtils) get_dependencies() (boolean_influence.BooleanInfluencePlugin method) (graph_algorithm.GraphAlgorithmPlugin method) (hal_py.BasePluginInterface method) (hawkeye.HawkeyePlugin method) (module_identification.ModuleIdentificationPlugin method) (netlist_preprocessing.NetlistPreprocessingPlugin method) (resynthesis.ResynthesisPlugin method) (xilinx_toolbox.XilinxToolboxPlugin method) get_description() (bitorder_propagation.BitorderPropagationPlugin method) (boolean_influence.BooleanInfluencePlugin method) (dataflow.DataflowPlugin method) (graph_algorithm.GraphAlgorithmPlugin method) (hal_py.BasePluginInterface method) (hawkeye.HawkeyePlugin method) (module_identification.ModuleIdentificationPlugin method) (netlist_preprocessing.NetlistPreprocessingPlugin method) (resynthesis.ResynthesisPlugin method) (solve_fsm.SolveFsmPlugin method) (xilinx_toolbox.XilinxToolboxPlugin method) get_design_name() (hal_py.Netlist method) get_destinations() (hal_py.Net method) get_device_name() (hal_py.Netlist method) get_direction() (hal_py.GatePin method) (hal_py.GatePinGroup method) (hal_py.ModulePin method) (hal_py.ModulePinGroup method) get_edges() (graph_algorithm.NetlistGraph method) get_edges_in_netlist() (graph_algorithm.NetlistGraph method) get_enable_function() (hal_py.LatchComponent method) (hal_py.RAMPortComponent method) get_engine_names() (netlist_simulator_controller.NetlistSimulatorController method) get_events() (netlist_simulator.Simulation method) (netlist_simulator_controller.WaveData method) get_fan_in_endpoint() (hal_py.Gate method) get_fan_in_endpoints() (hal_py.Gate method) get_fan_in_net() (hal_py.Gate method) get_fan_in_nets() (hal_py.Gate method) get_fan_out_endpoint() (hal_py.Gate method) get_fan_out_endpoints() (hal_py.Gate method) get_fan_out_net() (hal_py.Gate method) get_fan_out_nets() (hal_py.Gate method) get_ff_dependency_matrix() (in module hal_py.NetlistUtils) get_filename() (hal_py.ProjectManager method) get_free_gate_ids() (hal_py.Netlist method) get_free_grouping_ids() (hal_py.Netlist method) get_free_module_ids() (hal_py.Netlist method) get_free_net_ids() (hal_py.Netlist method) get_function() (hal_py.SMT.Constraint method) get_gate() (hal_py.Endpoint method) get_gate_by_id() (hal_py.Module method) (hal_py.Netlist method) get_gate_chain() (in module hal_py.NetlistUtils) get_gate_control_nets() (dataflow.Result method) get_gate_from_vertex() (graph_algorithm.NetlistGraph method) get_gate_ids() (hal_py.Grouping method) get_gate_libraries() (in module hal_py.GateLibraryManager) get_gate_library() (hal_py.GateType method) (hal_py.Netlist method) (in module hal_py.GateLibraryManager) get_gate_library_by_name() (in module hal_py.GateLibraryManager) get_gate_library_directories() (in module hal_py.CoreUtils) get_gate_location_data_category() (hal_py.GateLibrary method) get_gate_predecessors() (dataflow.Result method) get_gate_successors() (dataflow.Result method) get_gate_type_by_name() (hal_py.GateLibrary method) get_gate_types() (hal_py.GateLibrary method) get_gates() (dataflow.Result method) (hal_py.Grouping method) (hal_py.Module method) (hal_py.Netlist method) (netlist_simulator_controller.NetlistSimulatorController method) get_gates_from_vertices() (graph_algorithm.NetlistGraph method) get_gates_of_group() (dataflow.Result method) get_gates_set_from_vertices() (graph_algorithm.NetlistGraph method) get_global_input_nets() (hal_py.Netlist method) get_global_output_nets() (hal_py.Netlist method) get_gnd_gate_types() (hal_py.GateLibrary method) get_gnd_gates() (hal_py.Netlist method) get_gnd_nets() (hal_py.Netlist method) get_graph() (hawkeye.RoundCandidate method) get_group() (hal_py.GatePin method) (hal_py.ModulePin method) get_group_control_nets() (dataflow.Result method) get_group_id_of_gate() (dataflow.Result method) get_group_list() (dataflow.Result method) get_group_predecessors() (dataflow.Result method) get_group_successors() (dataflow.Result method) get_grouping() (hal_py.Gate method) (hal_py.Module method) (hal_py.Net method) get_grouping_by_id() (hal_py.Netlist method) get_groupings() (hal_py.Netlist method) get_groups() (dataflow.Result method) get_id() (hal_py.Gate method) (hal_py.GatePin method) (hal_py.GatePinGroup method) (hal_py.GateType method) (hal_py.Grouping method) (hal_py.Module method) (hal_py.ModulePin method) (hal_py.ModulePinGroup method) (hal_py.Net method) (hal_py.Netlist method) (netlist_simulator_controller.NetlistSimulatorController method) (netlist_simulator_controller.WaveData method) get_includes() (hal_py.GateLibrary method) get_index() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) get_index_value() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) get_init_category() (hal_py.InitComponent method) get_init_data() (hal_py.Gate method) get_init_identifier() (hal_py.InitComponent method) get_input_ffs_of_gate() (hawkeye.RoundCandidate method) get_input_filename() (hal_py.Netlist method) get_input_nets() (hal_py.Module method) (netlist_simulator_controller.NetlistSimulatorController method) get_input_pin_names() (hal_py.GateType method) (hal_py.Module method) get_input_pins() (hal_py.GateType method) (hal_py.Module method) get_input_reg() (hawkeye.RegisterCandidate method) (hawkeye.RoundCandidate method) get_internal_nets() (hal_py.Module method) get_length() (hal_py.BooleanFunction method) get_library_directory() (in module hal_py.CoreUtils) get_location() (hal_py.Gate method) get_location_x() (hal_py.Gate method) get_location_y() (hal_py.Gate method) get_longest_distance_to_gate() (hawkeye.RoundCandidate method) get_max_simulated_time() (netlist_simulator_controller.NetlistSimulatorController method) get_merged_word_level_operation() (module_identification.VerifiedCandidate method) get_module() (hal_py.Gate method) get_module_by_id() (hal_py.Netlist method) get_module_ids() (hal_py.Grouping method) get_modules() (hal_py.Gate method) (hal_py.Grouping method) (hal_py.Netlist method) get_name() (bitorder_propagation.BitorderPropagationPlugin method) (boolean_influence.BooleanInfluencePlugin method) (dataflow.DataflowPlugin method) (graph_algorithm.GraphAlgorithmPlugin method) (hal_py.BasePluginInterface method) (hal_py.Gate method) (hal_py.GateLibrary method) (hal_py.GatePin method) (hal_py.GatePinGroup method) (hal_py.GateType method) (hal_py.Grouping method) (hal_py.Module method) (hal_py.ModulePin method) (hal_py.ModulePinGroup method) (hal_py.Net method) (hawkeye.HawkeyePlugin method) (module_identification.ModuleIdentificationPlugin method) (module_identification.VerifiedCandidate method) (netlist_preprocessing.NetlistPreprocessingPlugin method) (netlist_simulator.NetlistSimulatorPlugin method) (netlist_simulator_controller.NetlistSimulatorController method) (netlist_simulator_controller.NetlistSimulatorControllerPlugin method) (netlist_simulator_controller.WaveData method) (resynthesis.ResynthesisPlugin method) (solve_fsm.SolveFsmPlugin method) (verilator.VerilatorSimulatorPlugin method) (xilinx_toolbox.XilinxToolboxPlugin method)

get_neg_state_identifier() (hal_py.StateComponent method) get_neighborhood() (in module graph_algorithm) get_net() (hal_py.Endpoint method) (hal_py.ModulePin method) get_net_by_id() (hal_py.Netlist method) get_net_from() (hal_py.BooleanFunctionNetDecorator static method) get_net_ids() (hal_py.Grouping method) get_net_value() (netlist_simulator.Simulation method) get_netlist() (dataflow.Result method) (graph_algorithm.NetlistGraph method) (hal_py.Gate method) (hal_py.Grouping method) (hal_py.Module method) (hal_py.Net method) (hawkeye.RegisterCandidate method) (hawkeye.RoundCandidate method) (module_identification.Result method) get_netlist_filename() (hal_py.ProjectManager method) get_nets() (hal_py.Grouping method) (hal_py.Module method) (hal_py.Netlist method) get_nets_at_pins() (in module hal_py.NetlistUtils) get_next_combinational_gates() (hal_py.NetlistTraversalDecorator method) get_next_gate_id() (hal_py.Netlist method) get_next_gates() (in module hal_py.NetlistUtils) get_next_grouping_id() (hal_py.Netlist method) get_next_matching_gates() (hal_py.NetlistTraversalDecorator method) get_next_matching_gates_until() (hal_py.NetlistTraversalDecorator method) get_next_matching_gates_until_depth() (hal_py.NetlistTraversalDecorator method) get_next_module_id() (hal_py.Netlist method) get_next_net_id() (hal_py.Netlist method) get_next_sequential_gates() (hal_py.NetlistTraversalDecorator method) (in module hal_py.NetlistUtils) get_next_sequential_gates_map() (hal_py.NetlistTraversalDecorator method) get_next_state_function() (hal_py.FFComponent method) get_nodes() (hal_py.BooleanFunction method) get_num_edges() (graph_algorithm.NetlistGraph method) get_num_of_destinations() (hal_py.Net method) get_num_of_sources() (hal_py.Net method) get_num_vertices() (graph_algorithm.NetlistGraph method) get_other_inputs() (hawkeye.RoundCandidate method) get_output_nets() (hal_py.Module method) (netlist_simulator_controller.NetlistSimulatorController method) get_output_pin_names() (hal_py.GateType method) (hal_py.Module method) get_output_pins() (hal_py.GateType method) (hal_py.Module method) get_output_reg() (hawkeye.RegisterCandidate method) (hawkeye.RoundCandidate method) get_parameters() (hal_py.BooleanFunction method) get_parent_module() (hal_py.Module method) get_parent_modules() (hal_py.Module method) get_partial_netlist_nets() (netlist_simulator_controller.NetlistSimulatorController method) get_path() (hal_py.GateLibrary method) (in module hal_py.NetlistUtils) get_pin() (hal_py.Endpoint method) get_pin_at_index() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) get_pin_by_id() (hal_py.GateType method) (hal_py.Module method) get_pin_by_name() (hal_py.GateType method) (hal_py.Module method) get_pin_by_net() (hal_py.Module method) get_pin_group_by_id() (hal_py.GateType method) (hal_py.Module method) get_pin_group_by_name() (hal_py.GateType method) (hal_py.Module method) get_pin_groups() (hal_py.GateType method) (hal_py.Module method) get_pin_names() (hal_py.GateType method) (hal_py.Module method) get_pins() (hal_py.GatePinGroup method) (hal_py.GateType method) (hal_py.Module method) (hal_py.ModulePinGroup method) get_plugin_directories() (in module hal_py.CoreUtils) get_plugin_instance() (in module hal_py.plugin_manager) get_plugin_names() (in module hal_py.plugin_manager) get_predecessor() (hal_py.Gate method) get_predecessors() (hal_py.Gate method) get_project_directory() (hal_py.ProjectManager method) get_project_status() (hal_py.ProjectManager method) get_properties() (hal_py.GateType method) get_property_list() (hal_py.GateType method) get_resolved_boolean_function() (hal_py.Gate method) get_results() (netlist_simulator_controller.NetlistSimulatorController method) get_share_directory() (in module hal_py.CoreUtils) get_shortest_path() (hal_py.NetlistTraversalDecorator method) (in module hal_py.NetlistUtils) get_shortest_path_distance() (hal_py.NetlistTraversalDecorator method) get_shortest_paths() (in module graph_algorithm) get_simulation_state() (netlist_simulator.NetlistSimulator method) get_simulation_timeout() (netlist_simulator.NetlistSimulator method) get_size() (hal_py.BooleanFunction method) (hawkeye.RegisterCandidate method) (hawkeye.RoundCandidate method) get_sources() (hal_py.Net method) get_start_index() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) get_state() (netlist_simulator_controller.SimulationEngine method) get_state_identifier() (hal_py.StateComponent method) get_state_inputs() (hawkeye.RoundCandidate method) get_state_logic() (hawkeye.RoundCandidate method) get_state_outputs() (hawkeye.RoundCandidate method) get_subgraph() (in module graph_algorithm) get_subgraph_function() (hal_py.SubgraphNetlistDecorator method) (in module hal_py.NetlistUtils) get_subgraph_function_inputs() (hal_py.SubgraphNetlistDecorator method) get_submodule_depth() (hal_py.Module method) get_submodules() (hal_py.Module method) get_successor() (hal_py.Gate method) get_successors() (hal_py.Gate method) get_timing_stats() (module_identification.Result method) get_top_level_node() (hal_py.BooleanFunction method) get_top_module() (hal_py.Netlist method) get_trigger_time_by_id() (netlist_simulator_controller.NetlistSimulatorController method) get_triggered_events() (netlist_simulator_controller.WaveData method) get_truth_table_as_string() (hal_py.BooleanFunction method) get_type() (hal_py.Gate method) (hal_py.GatePin method) (hal_py.GatePinGroup method) (hal_py.GateTypeComponent method) (hal_py.Module method) (hal_py.ModulePin method) (hal_py.ModulePinGroup method) get_unique_gate_id() (hal_py.Netlist method) get_unique_grouping_id() (hal_py.Netlist method) get_unique_module_id() (hal_py.Netlist method) get_unique_net_id() (hal_py.Netlist method) get_unique_pin_group_id() (hal_py.Module method) get_unique_pin_id() (hal_py.Module method) get_unique_predecessors() (hal_py.Gate method) get_unique_successors() (hal_py.Gate method) get_used_gate_ids() (hal_py.Netlist method) get_used_grouping_ids() (hal_py.Netlist method) get_used_module_ids() (hal_py.Netlist method) get_used_net_ids() (hal_py.Netlist method) get_user_config_directory() (in module hal_py.CoreUtils) get_user_share_directory() (in module hal_py.CoreUtils) get_value_at() (netlist_simulator_controller.WaveData method) get_variable_name() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) get_variable_names() (hal_py.BooleanFunction method) get_vcc_gate_types() (hal_py.GateLibrary method) get_vcc_gates() (hal_py.Netlist method) get_vcc_nets() (hal_py.Netlist method) get_verified_candidate_gates() (module_identification.Result method) get_verified_candidates() (module_identification.Result method) get_version() (bitorder_propagation.BitorderPropagationPlugin method) (boolean_influence.BooleanInfluencePlugin method) (dataflow.DataflowPlugin method) (graph_algorithm.GraphAlgorithmPlugin method) (hal_py.BasePluginInterface method) (hawkeye.HawkeyePlugin method) (module_identification.ModuleIdentificationPlugin method) (netlist_preprocessing.NetlistPreprocessingPlugin method) (netlist_simulator.NetlistSimulatorPlugin method) (netlist_simulator_controller.NetlistSimulatorControllerPlugin method) (resynthesis.ResynthesisPlugin method) (solve_fsm.SolveFsmPlugin method) (verilator.VerilatorSimulatorPlugin method) (xilinx_toolbox.XilinxToolboxPlugin method) get_vertex_from_gate() (graph_algorithm.NetlistGraph method) get_vertices() (graph_algorithm.NetlistGraph method) get_vertices_from_gates() (graph_algorithm.NetlistGraph method) get_waveform_boolean_by_id() (netlist_simulator_controller.NetlistSimulatorController method) get_waveform_by_net() (netlist_simulator_controller.NetlistSimulatorController method) get_waveform_group_by_id() (netlist_simulator_controller.NetlistSimulatorController method) get_waveforms() (netlist_simulator_controller.WaveDataGroup method) get_working_directory() (netlist_simulator_controller.NetlistSimulatorController method) (netlist_simulator_controller.SimulationEngine method) getSelectedGateIds() (hal_gui.GuiApi method) getSelectedGates() (hal_gui.GuiApi method) getSelectedItemIds() (hal_gui.GuiApi method) getSelectedItems() (hal_gui.GuiApi method) getSelectedModuleIds() (hal_gui.GuiApi method) getSelectedModules() (hal_gui.GuiApi method) getSelectedNetIds() (hal_gui.GuiApi method) getSelectedNets() (hal_gui.GuiApi method) global_input_nets (hal_py.Netlist property) global_output_nets (hal_py.Netlist property) gnd_gate_types (hal_py.GateLibrary property) gnd_gates (hal_py.Netlist property) gnd_nets (hal_py.Netlist property) graph_algorithm module GraphAlgorithmPlugin (class in graph_algorithm) group (hal_py.GatePin property) (hal_py.ModulePin property) Grouping (class in hal_py) groupings (hal_py.Netlist property) GuiApi (class in hal_gui) GuiApi.GridPlacement (class in hal_gui)

H

hal_py.CoreUtils module hal_py.GateLibraryManager module hal_py.NetlistFactory module hal_py.NetlistSerializer module hal_py.NetlistUtils module hal_py.NetlistWriterManager module hal_py.plugin_manager module hal_py.SMT module

has_component_of_type() (hal_py.GateType method) has_constant_value() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) has_data() (hal_py.DataContainer method) (hal_py.Gate method) (hal_py.Module method) (hal_py.Net method) has_index_value() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) has_local_solver_for() (hal_py.SMT.Solver static method) has_location() (hal_py.Gate method) has_property() (hal_py.GateType method) has_variable_name() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) hawkeye module HawkeyePlugin (class in hawkeye)

I

id (hal_py.Gate property) (hal_py.GatePin property) (hal_py.GatePinGroup property) (hal_py.GateType property) (hal_py.Grouping property) (hal_py.Module property) (hal_py.ModulePin property) (hal_py.ModulePinGroup property) (hal_py.Net property) (hal_py.Netlist property) (netlist_simulator_controller.WaveEvent property) identify_sbox() (in module hawkeye) import_csv() (netlist_simulator_controller.NetlistSimulatorController method) import_saleae() (netlist_simulator_controller.NetlistSimulatorController method) import_simulation() (netlist_simulator_controller.NetlistSimulatorController method) import_vcd() (netlist_simulator_controller.NetlistSimulatorController method) includes (hal_py.GateLibrary property) index (hal_py.BooleanFunction.Node property) Index (hal_py.BooleanFunction.NodeType attribute) Index() (hal_py.BooleanFunction static method) (hal_py.BooleanFunction.Node static method) init_ascending (hal_py.LUTComponent property) init_category (hal_py.InitComponent property) init_identifiers (hal_py.InitComponent property) InitComponent (class in hal_py) initialize() (netlist_simulator.NetlistSimulator method) (netlist_simulator_controller.NetlistSimulatorController method) initialize_sequential_gates() (netlist_simulator.NetlistSimulator method) input_filename (hal_py.Netlist property) input_nets (hal_py.Module property) input_pin_names (hal_py.GateType property) (hal_py.Module property) input_pins (hal_py.GateType property) (hal_py.Module property) instance() (hal_py.ProjectManager static method) internal_nets (hal_py.Module property) is() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) (hal_py.SMT.SolverResult method) is_a_destination() (hal_py.Net method) is_a_source() (hal_py.Net method) is_ascending() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) is_assignment() (hal_py.SMT.Constraint method) is_class_of() (hal_py.FFComponent static method) (hal_py.InitComponent static method) (hal_py.LatchComponent static method) (hal_py.LUTComponent static method) (hal_py.RAMComponent static method) (hal_py.RAMPortComponent static method) (hal_py.StateComponent static method)

is_commutative() (hal_py.BooleanFunction.Node method) is_constant() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) is_destination_pin() (hal_py.Endpoint method) is_empty() (hal_py.BooleanFunction method) is_fan_in_net() (hal_py.Gate method) is_fan_out_net() (hal_py.Gate method) is_gate_in_netlist() (hal_py.Netlist method) is_global_input_net() (hal_py.Net method) (hal_py.Netlist method) is_global_output_net() (hal_py.Net method) (hal_py.Netlist method) is_gnd_gate() (hal_py.Gate method) (hal_py.Netlist method) is_gnd_net() (hal_py.Net method) is_grouping_in_netlist() (hal_py.Netlist method) is_index() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) is_init_ascending() (hal_py.LUTComponent method) is_input_net() (hal_py.Module method) is_internal_net() (hal_py.Module method) is_module_in_netlist() (hal_py.Netlist method) is_net_in_netlist() (hal_py.Netlist method) is_operand() (hal_py.BooleanFunction.Node method) is_operation() (hal_py.BooleanFunction.Node method) is_ordered() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) is_output_net() (hal_py.Module method) is_parent_module_of() (hal_py.Module method) is_round_based() (hawkeye.RegisterCandidate method) is_sat() (hal_py.SMT.SolverResult method) is_source_pin() (hal_py.Endpoint method) is_submodule_of() (hal_py.Module method) is_top_module() (hal_py.Module method) is_unknown() (hal_py.SMT.SolverResult method) is_unrouted() (hal_py.Net method) is_unsat() (hal_py.SMT.SolverResult method) is_variable() (hal_py.BooleanFunction method) (hal_py.BooleanFunction.Node method) is_vcc_gate() (hal_py.Gate method) (hal_py.Netlist method) is_vcc_net() (hal_py.Net method) is_verified() (module_identification.VerifiedCandidate method) is_write_port() (hal_py.RAMPortComponent method) Ite (hal_py.BooleanFunction.NodeType attribute) Ite() (hal_py.BooleanFunction static method)

K

known_gate_groups (dataflow.Configuration property)

known_net_groups (dataflow.Configuration property) known_registers (module_identification.Configuration property)

L

LatchComponent (class in hal_py) length (hal_py.BooleanFunction property) load() (hawkeye.SBoxDatabase method) (in module hal_py.GateLibraryManager) (in module hal_py.plugin_manager) load_all() (in module hal_py.GateLibraryManager) load_all_plugins() (in module hal_py.plugin_manager) load_gate_locations_from_data() (hal_py.Netlist method) load_hal_project() (in module hal_py.NetlistFactory) load_initial_values() (netlist_simulator.NetlistSimulator method) load_initial_values_from_netlist() (netlist_simulator.NetlistSimulator method)

load_netlist() (in module hal_py.NetlistFactory) load_netlist_from_string() (in module hal_py.NetlistFactory) load_netlists() (in module hal_py.NetlistFactory) local (hal_py.SMT.QueryConfig property) locate_sboxes() (in module hawkeye) location (hal_py.Gate property) location_x (hal_py.Gate property) location_y (hal_py.Gate property) lookup() (hawkeye.SBoxDatabase method) Lshr (hal_py.BooleanFunction.NodeType attribute) Lshr() (hal_py.BooleanFunction static method) LUTComponent (class in hal_py)

M

m_candidate (hawkeye.SBoxCandidate property) m_component (hawkeye.SBoxCandidate property) m_input_gates (hawkeye.SBoxCandidate property) m_output_gates (hawkeye.SBoxCandidate property) manual_mux_optimizations() (in module netlist_preprocessing) mark_global_input_net() (hal_py.Net method) (hal_py.Netlist method) mark_global_output_net() (hal_py.Net method) (hal_py.Netlist method) mark_gnd_gate() (hal_py.Gate method) (hal_py.Netlist method) mark_gnd_gate_type() (hal_py.GateLibrary method) mark_vcc_gate() (hal_py.Gate method) (hal_py.Netlist method) mark_vcc_gate_type() (hal_py.GateLibrary method) max_control_signals (module_identification.Configuration property) max_thread_count (module_identification.Configuration property) merge() (module_identification.Result method) (module_identification.VerifiedCandidate static method) merge_groups() (dataflow.Result method) min_group_size (dataflow.Configuration property) min_register_size (hawkeye.DetectionConfiguration property) Model (class in hal_py.SMT) model (hal_py.SMT.Model property) (hal_py.SMT.SolverResult property) module bitorder_propagation dataflow graph_algorithm hal_py.CoreUtils hal_py.GateLibraryManager hal_py.NetlistFactory hal_py.NetlistSerializer hal_py.NetlistUtils hal_py.NetlistWriterManager hal_py.plugin_manager hal_py.SMT hawkeye module_identification netlist_preprocessing resynthesis solve_fsm xilinx_toolbox

Module (class in hal_py) module (hal_py.Gate property) module_identification module module_ids (hal_py.Grouping property) ModuleIdentificationPlugin (class in module_identification) ModulePin (class in hal_py) ModulePinGroup (class in hal_py) modulePosition() (hal_gui.GuiApi.GridPlacement method) modules (hal_py.Gate property) (hal_py.Grouping property) (hal_py.Netlist property) move_pin_group() (hal_py.Module method) move_pin_within_group() (hal_py.Module method) Mul (hal_py.BooleanFunction.NodeType attribute) Mul() (hal_py.BooleanFunction static method) multithreading_priority (module_identification.Configuration property) MultithreadingPriority (class in module_identification)

N

name (bitorder_propagation.BitorderPropagationPlugin property) (boolean_influence.BooleanInfluencePlugin property) (dataflow.DataflowPlugin property) (graph_algorithm.GraphAlgorithmPlugin property) (graph_algorithm.NetlistGraph.Direction property) (hal_py.BasePluginInterface property) (hal_py.Gate property) (hal_py.GateLibrary property) (hal_py.GatePin property) (hal_py.GatePinGroup property) (hal_py.GateType property) (hal_py.GateTypeComponent.ComponentType property) (hal_py.GateTypeProperty property) (hal_py.Grouping property) (hal_py.Module property) (hal_py.ModulePin property) (hal_py.ModulePinGroup property) (hal_py.Net property) (hal_py.PinDirection property) (hal_py.PinType property) (hal_py.ProjectManager.ProjectStatus property) (hal_py.SMT.SolverResultType property) (hal_py.SMT.SolverType property) (hawkeye.DetectionConfiguration.Components property) (hawkeye.DetectionConfiguration.Control property) (hawkeye.HawkeyePlugin property) (module_identification.Architecture property) (module_identification.CandidateType property) (module_identification.ModuleIdentificationPlugin property) (module_identification.MultithreadingPriority property) (netlist_preprocessing.NetlistPreprocessingPlugin property) (netlist_simulator.NetlistSimulatorPlugin property) (netlist_simulator_controller.NetlistSimulatorControllerPlugin property) (resynthesis.ResynthesisPlugin property) (solve_fsm.SolveFsmPlugin property) (xilinx_toolbox.XilinxToolboxPlugin property)

name() (hal_py.BooleanFunction.Value method) (netlist_simulator_controller.SimulationEngine method) neg_state_identifier (hal_py.StateComponent property) Net (class in hal_py) net (hal_py.Endpoint property) (hal_py.ModulePin property) net_ids (hal_py.Grouping property) Netlist (class in hal_py) netlist (hal_py.Gate property) (hal_py.Grouping property) (hal_py.Module property) (hal_py.Net property) (module_identification.Configuration property) netlist_preprocessing module NetlistGraph (class in graph_algorithm) NetlistGraph.Direction (class in graph_algorithm) NetlistModificationDecorator (class in hal_py) NetlistPreprocessingPlugin (class in netlist_preprocessing) NetlistSimulator (class in netlist_simulator) NetlistSimulatorController (class in netlist_simulator_controller) NetlistSimulatorControllerPlugin (class in netlist_simulator_controller) NetlistSimulatorPlugin (class in netlist_simulator) NetlistTraversalDecorator (class in hal_py) nets (hal_py.Grouping property) (hal_py.Module property) (hal_py.Netlist property) new_value (netlist_simulator_controller.WaveEvent property) next_state_function (hal_py.FFComponent property) nodes() (hal_py.BooleanFunction method) Not (hal_py.BooleanFunction.NodeType attribute) Not() (hal_py.BooleanFunction static method) num_of_destinations (hal_py.Net property) num_of_sources (hal_py.Net property)

O

ONE (hal_py.BooleanFunction attribute) (hal_py.BooleanFunction.Value attribute) open_project() (hal_py.ProjectManager method) operands (module_identification.VerifiedCandidate property) (module_identification.WordLevelOperation property) operation (module_identification.WordLevelOperation property) Operation() (hal_py.BooleanFunction.Node static method) Or (hal_py.BooleanFunction.NodeType attribute)

Or() (hal_py.BooleanFunction static method) ordered (hal_py.GatePinGroup property) (hal_py.ModulePinGroup property) output_nets (hal_py.Module property) (module_identification.VerifiedCandidate property) output_pin_names (hal_py.GateType property) (hal_py.Module property) output_pins (hal_py.GateType property) (hal_py.Module property)

P

parameters (hal_py.BooleanFunction property) parent_module (hal_py.Module property) parent_modules (hal_py.Module property) parse() (hal_py.SMT.Model static method) parse_def_file() (in module netlist_preprocessing) parse_xdc_file() (in module xilinx_toolbox) path (hal_py.GateLibrary property) pin (hal_py.Endpoint property) pin_groups (hal_py.Module property) pin_names (hal_py.GateType property) (hal_py.Module property) PinDirection (class in hal_py)

pins (hal_py.GatePinGroup property) (hal_py.GateType property) (hal_py.Module property) (hal_py.ModulePinGroup property) PinType (class in hal_py) predecessors (hal_py.Gate property) print() (graph_algorithm.NetlistGraph method) (hawkeye.SBoxDatabase method) ProjectManager (class in hal_py) ProjectManager.ProjectStatus (class in hal_py) propagate_bitorder() (in module bitorder_propagation) propagate_constants() (in module netlist_preprocessing) properties (hal_py.GateType property)

Q

query() (hal_py.SMT.Solver method) query_local() (hal_py.SMT.Solver method)

query_local_with_smt2() (hal_py.SMT.Solver static method) query_remote() (hal_py.SMT.Solver method) QueryConfig (class in hal_py.SMT)

R

RAMComponent (class in hal_py) RAMPortComponent (class in hal_py) reconstruct_indexed_ff_identifiers() (in module netlist_preprocessing) reconstruct_top_module_pin_groups() (in module netlist_preprocessing) RegisterCandidate (class in hawkeye) remove_buffers() (in module hal_py.NetlistUtils) (in module netlist_preprocessing) remove_consecutive_inverters() (in module netlist_preprocessing) remove_destination() (hal_py.Net method) remove_gate() (hal_py.Grouping method) (hal_py.Module method) remove_gate_by_id() (hal_py.Grouping method) remove_gates() (hal_py.Module method) remove_module() (hal_py.Grouping method) remove_module_by_id() (hal_py.Grouping method) remove_net() (hal_py.Grouping method) remove_net_by_id() (hal_py.Grouping method) remove_pin_from_group() (hal_py.Module method) remove_project_directory() (hal_py.ProjectManager method) remove_redundant_gates() (in module netlist_preprocessing) remove_redundant_logic_trees() (in module netlist_preprocessing) remove_redundant_loops() (in module netlist_preprocessing) remove_source() (hal_py.Net method) remove_unconnected_gates() (in module netlist_preprocessing) remove_unconnected_looped() (in module netlist_preprocessing) remove_unconnected_nets() (in module netlist_preprocessing)

remove_unused_lut_endpoints() (in module hal_py.NetlistUtils) remove_unused_lut_inputs() (in module netlist_preprocessing) remove_waveform() (netlist_simulator_controller.WaveDataGroup method) remove_waveform_group() (netlist_simulator_controller.NetlistSimulatorController method) rename_waveform() (netlist_simulator_controller.NetlistSimulatorController method) reorder_module_pin_groups() (in module bitorder_propagation) replace_gate() (hal_py.NetlistModificationDecorator method) (in module hal_py.NetlistUtils) reset() (netlist_simulator.NetlistSimulator method) (netlist_simulator_controller.NetlistSimulatorController method) restore_simulator_controller() (netlist_simulator_controller.NetlistSimulatorControllerPlugin method) Result (class in dataflow) (class in module_identification) resynthesis module ResynthesisPlugin (class in resynthesis) resynthesize_gate() (in module resynthesis) resynthesize_gates() (in module resynthesis) resynthesize_gates_of_type() (in module resynthesis) resynthesize_subgraph() (in module resynthesis) resynthesize_subgraph_of_type() (in module resynthesis) Rol (hal_py.BooleanFunction.NodeType attribute) Rol() (hal_py.BooleanFunction static method) Ror (hal_py.BooleanFunction.NodeType attribute) Ror() (hal_py.BooleanFunction static method) RoundCandidate (class in hawkeye) run_simulation() (netlist_simulator_controller.NetlistSimulatorController method)

S

Sat (hal_py.SMT.SolverResultType attribute) Sat() (hal_py.SMT.SolverResult static method) save() (in module hal_py.GateLibraryManager) SBoxCandidate (class in hawkeye) SBoxDatabase (class in hawkeye) Sdiv (hal_py.BooleanFunction.NodeType attribute) Sdiv() (hal_py.BooleanFunction static method) select() (hal_gui.GuiApi method) selectGate() (hal_gui.GuiApi method) selectModule() (hal_gui.GuiApi method) selectNet() (hal_gui.GuiApi method) serialize_project() (hal_py.ProjectManager method) serialize_to_file() (in module hal_py.NetlistSerializer) set() (hal_py.SMT.SymbolicState method) set_address_group() (hal_py.RAMPortComponent method) set_async_reset_function() (hal_py.FFComponent method) (hal_py.LatchComponent method) set_async_set_function() (hal_py.FFComponent method) (hal_py.LatchComponent method) set_async_set_reset_behavior() (hal_py.FFComponent method) (hal_py.LatchComponent method) set_bit_size() (hal_py.RAMComponent method) set_clock_function() (hal_py.FFComponent method) (hal_py.RAMPortComponent method) set_data() (hal_py.DataContainer method) (hal_py.Gate method) (hal_py.Module method) (hal_py.Net method) set_data_group() (hal_py.RAMPortComponent method) set_data_in_function() (hal_py.LatchComponent method) set_design_name() (hal_py.Netlist method) set_device_name() (hal_py.Netlist method) set_enable_function() (hal_py.LatchComponent method) (hal_py.RAMPortComponent method) set_engine_property() (netlist_simulator_controller.SimulationEngine method) set_filter_wave() (netlist_simulator_controller.WaveDataTrigger method) set_free_gate_ids() (hal_py.Netlist method) set_free_grouping_ids() (hal_py.Netlist method) set_free_module_ids() (hal_py.Netlist method) set_free_net_ids() (hal_py.Netlist method) set_gate_library_path() (hal_py.ProjectManager method) set_gate_location_data_category() (hal_py.GateLibrary method) set_gate_location_data_identifiers() (hal_py.GateLibrary method) set_id() (hal_py.Netlist method) set_init_ascending() (hal_py.LUTComponent method) set_init_category() (hal_py.InitComponent method) set_init_data() (hal_py.Gate method) set_init_identifier() (hal_py.InitComponent method) set_input() (netlist_simulator.NetlistSimulator method) (netlist_simulator_controller.NetlistSimulatorController method) set_input_filename() (hal_py.Netlist method) set_iteration_timeout() (netlist_simulator.NetlistSimulator method) set_location() (hal_py.Gate method) set_location_x() (hal_py.Gate method) set_location_y() (hal_py.Gate method) set_name() (hal_py.Gate method) (hal_py.Grouping method) (hal_py.Module method) (hal_py.Net method) set_neg_state_identifier() (hal_py.StateComponent method) set_next_gate_id() (hal_py.Netlist method) set_next_grouping_id() (hal_py.Netlist method) set_next_module_id() (hal_py.Netlist method) set_next_net_id() (hal_py.Netlist method) set_next_state_function() (hal_py.FFComponent method) set_no_clock_used() (netlist_simulator_controller.NetlistSimulatorController method) set_ordered() (hal_py.ModulePinGroup method) set_parent_module() (hal_py.Module method) set_pin_group_direction() (hal_py.GateType method) (hal_py.Module method) set_pin_group_name() (hal_py.GateType method) (hal_py.Module method)

set_pin_group_type() (hal_py.GateType method) (hal_py.Module method) set_pin_name() (hal_py.Module method) set_pin_type() (hal_py.Module method) set_project_directory() (hal_py.ProjectManager method) set_project_status() (hal_py.ProjectManager method) set_saleae_timescale() (netlist_simulator_controller.NetlistSimulatorController method) set_simulation_state() (netlist_simulator.NetlistSimulator method) set_state_identifier() (hal_py.StateComponent method) set_timeframe() (netlist_simulator_controller.NetlistSimulatorController method) set_type() (hal_py.Module method) set_used_gate_ids() (hal_py.Netlist method) set_used_grouping_ids() (hal_py.Netlist method) set_used_module_ids() (hal_py.Netlist method) set_used_net_ids() (hal_py.Netlist method) set_write_port() (hal_py.RAMPortComponent method) setGatePosition() (hal_gui.GuiApi.GridPlacement method) setModulePosition() (hal_gui.GuiApi.GridPlacement method) Sext (hal_py.BooleanFunction.NodeType attribute) Sext() (hal_py.BooleanFunction static method) Shl (hal_py.BooleanFunction.NodeType attribute) Shl() (hal_py.BooleanFunction static method) simplify() (hal_py.BooleanFunction method) simplify_lut_inits() (in module netlist_preprocessing) simulate() (netlist_simulator.NetlistSimulator method) (netlist_simulator_controller.NetlistSimulatorController method) Simulation (class in netlist_simulator) SimulationEngine (class in netlist_simulator_controller) simulator_controller_by_id() (netlist_simulator_controller.NetlistSimulatorControllerPlugin method) size (hal_py.BooleanFunction property) (hal_py.BooleanFunction.Node property) size() (hal_py.GatePinGroup method) (hal_py.ModulePinGroup method) Sle (hal_py.BooleanFunction.NodeType attribute) Sle() (hal_py.BooleanFunction static method) Slice (hal_py.BooleanFunction.NodeType attribute) Slice() (hal_py.BooleanFunction static method) Slt (hal_py.BooleanFunction.NodeType attribute) Slt() (hal_py.BooleanFunction static method) solve_fsm module solve_fsm() (in module solve_fsm) solve_fsm_brute_force() (in module solve_fsm) SolveFsmPlugin (class in solve_fsm) Solver (class in hal_py.SMT) solver (hal_py.SMT.QueryConfig property) SolverResult (class in hal_py.SMT) SolverResultType (class in hal_py.SMT) SolverType (class in hal_py.SMT) source_pin (hal_py.Endpoint property) sources (hal_py.Net property) split_group() (dataflow.Result method) split_luts() (in module xilinx_toolbox) split_shift_registers() (in module xilinx_toolbox) Srem (hal_py.BooleanFunction.NodeType attribute) Srem() (hal_py.BooleanFunction static method) start_index (hal_py.GatePinGroup property) (hal_py.ModulePinGroup property) state (hal_py.SMT.SymbolicExecution property) state_identifier (hal_py.StateComponent property) StateComponent (class in hal_py) store() (hawkeye.SBoxDatabase method) Sub (hal_py.BooleanFunction.NodeType attribute) Sub() (hal_py.BooleanFunction static method) SubgraphNetlistDecorator (class in hal_py) submodule_depth (hal_py.Module property) submodules (hal_py.Module property) substitute() (hal_py.BooleanFunction method) substitute_power_ground_nets() (hal_py.BooleanFunctionDecorator method) substitute_power_ground_pins() (hal_py.BooleanFunctionDecorator method) successors (hal_py.Gate property) SymbolicExecution (class in hal_py.SMT) SymbolicState (class in hal_py.SMT)

T

time (netlist_simulator_controller.WaveEvent property) timeout (hawkeye.DetectionConfiguration property) timeout_in_seconds (hal_py.SMT.QueryConfig property) to_string() (hal_py.BooleanFunction static method) to_u64() (hal_py.BooleanFunction static method) top_level_node (hal_py.BooleanFunction property) top_module (hal_py.Module property) (hal_py.Netlist property) total_input_nets (module_identification.VerifiedCandidate property) total_output_nets (module_identification.VerifiedCandidate property)

type (hal_py.BooleanFunction.Node property) (hal_py.Gate property) (hal_py.GatePin property) (hal_py.GatePinGroup property) (hal_py.GateTypeComponent property) (hal_py.Module property) (hal_py.ModulePin property) (hal_py.ModulePinGroup property) (hal_py.SMT.SolverResult property) types (module_identification.VerifiedCandidate property) types_to_check (module_identification.Configuration property)

U

Udiv (hal_py.BooleanFunction.NodeType attribute) Udiv() (hal_py.BooleanFunction static method) Ule (hal_py.BooleanFunction.NodeType attribute) Ule() (hal_py.BooleanFunction static method) Ult (hal_py.BooleanFunction.NodeType attribute) Ult() (hal_py.BooleanFunction static method) unify_ff_outputs() (in module netlist_preprocessing) unique_predecessors (hal_py.Gate property) unique_successors (hal_py.Gate property) Unknown (hal_py.SMT.SolverResultType attribute) (hal_py.SMT.SolverType attribute) Unknown() (hal_py.SMT.SolverResult static method) unload() (in module hal_py.plugin_manager)

unload_all_plugins() (in module hal_py.plugin_manager) unmark_global_input_net() (hal_py.Net method) (hal_py.Netlist method) unmark_global_output_net() (hal_py.Net method) (hal_py.Netlist method) unmark_gnd_gate() (hal_py.Gate method) (hal_py.Netlist method) unmark_vcc_gate() (hal_py.Gate method) (hal_py.Netlist method) UnSat (hal_py.SMT.SolverResultType attribute) UnSat() (hal_py.SMT.SolverResult static method) update_nets() (hal_py.Module method) Urem (hal_py.BooleanFunction.NodeType attribute) Urem() (hal_py.BooleanFunction static method)

V

value (hal_py.BooleanFunction.Value property) (hal_py.SMT.SolverResultType property) (hal_py.SMT.SolverType property) Var() (hal_py.BooleanFunction static method) variable (hal_py.BooleanFunction.Node property) Variable (hal_py.BooleanFunction.NodeType attribute) Variable() (hal_py.BooleanFunction.Node static method) variable_names (hal_py.BooleanFunction property) vcc_gate_types (hal_py.GateLibrary property) vcc_gates (hal_py.Netlist property) vcc_nets (hal_py.Netlist property) verified (module_identification.VerifiedCandidate property) VerifiedCandidate (class in module_identification)

VerilatorSimulatorPlugin (class in verilator) version (bitorder_propagation.BitorderPropagationPlugin property) (boolean_influence.BooleanInfluencePlugin property) (dataflow.DataflowPlugin property) (graph_algorithm.GraphAlgorithmPlugin property) (hal_py.BasePluginInterface property) (hawkeye.HawkeyePlugin property) (module_identification.ModuleIdentificationPlugin property) (netlist_preprocessing.NetlistPreprocessingPlugin property) (netlist_simulator.NetlistSimulatorPlugin property) (netlist_simulator_controller.NetlistSimulatorControllerPlugin property) (resynthesis.ResynthesisPlugin property) (solve_fsm.SolveFsmPlugin property) (xilinx_toolbox.XilinxToolboxPlugin property)

W

WaveData (class in netlist_simulator_controller) WaveDataBoolean (class in netlist_simulator_controller) WaveDataGroup (class in netlist_simulator_controller) WaveDataTrigger (class in netlist_simulator_controller) WaveEvent (class in netlist_simulator_controller) with_already_classified_candidates() (module_identification.Configuration method) with_blocked_base_candidates() (module_identification.Configuration method) with_call() (hal_py.SMT.QueryConfig method) with_constraint() (hal_py.SMT.Solver method) with_constraints() (hal_py.SMT.Solver method) with_control_pin_types() (dataflow.Configuration method) with_expected_sizes() (dataflow.Configuration method) with_flip_flops() (dataflow.Configuration method) with_gate_types() (dataflow.Configuration method) with_known_groups() (dataflow.Configuration method) with_known_registers() (module_identification.Configuration method) with_known_structures() (dataflow.Configuration method) with_local_solver() (hal_py.SMT.QueryConfig method)

with_max_control_signals() (module_identification.Configuration method) with_max_thread_count() (module_identification.Configuration method) with_min_group_size() (dataflow.Configuration method) with_model_generation() (hal_py.SMT.QueryConfig method) with_multithreading_priority() (module_identification.Configuration method) with_remote_solver() (hal_py.SMT.QueryConfig method) with_solver() (hal_py.SMT.QueryConfig method) with_stage_identification() (dataflow.Configuration method) with_timeout() (hal_py.SMT.QueryConfig method) with_type_consistency() (dataflow.Configuration method) with_types_to_check() (module_identification.Configuration method) without_model_generation() (hal_py.SMT.QueryConfig method) word_level_operations (module_identification.VerifiedCandidate property) WordLevelOperation (class in module_identification) write() (in module hal_py.NetlistWriterManager) write_dot() (dataflow.Result method) write_port (hal_py.RAMPortComponent property) write_txt() (dataflow.Result method)

X

X (hal_py.BooleanFunction attribute) (hal_py.BooleanFunction.Value attribute) xilinx_toolbox module

XilinxToolboxPlugin (class in xilinx_toolbox) Xor (hal_py.BooleanFunction.NodeType attribute) Xor() (hal_py.BooleanFunction static method)

Z

Z (hal_py.BooleanFunction attribute) (hal_py.BooleanFunction.Value attribute) Z3 (hal_py.SMT.SolverType attribute)

ZERO (hal_py.BooleanFunction attribute) (hal_py.BooleanFunction.Value attribute) Zext (hal_py.BooleanFunction.NodeType attribute) Zext() (hal_py.BooleanFunction static method)