test_plugin Namespace Reference

Variables
string	base_path = "/home/simon/projects/hal/"
	netlist = hal_py.NetlistFactory.load_netlist(base_path + "examples/fsm/fsm.v", base_path + "examples/fsm/example_library.hgl")
	pl_fsm = hal_py.plugin_manager.get_plugin_instance("solve_fsm")
	fsm_mod = netlist.get_module_by_id(1)
	transition_gates = fsm_mod.get_gates(lambda g : g.type.has_property(hal_py.GateTypeProperty.combinational))
	state_gates = fsm_mod.get_gates(lambda g : g.type.has_property(hal_py.GateTypeProperty.sequential))
dictionary	initial_state = {}
string	graph_path = base_path + "examples/fsm/graph.dot"
int	timeout = 600000
	g = pl_fsm.solve_fsm(netlist, state_gates, transition_gates, initial_state, graph_path, timeout)

Variable Documentation

base_path

string test_plugin.base_path = "/home/simon/projects/hal/"

Definition at line 5 of file test_plugin.py.

fsm_mod

test_plugin.fsm_mod = netlist.get_module_by_id(1)

Definition at line 23 of file test_plugin.py.

g

test_plugin.g = pl_fsm.solve_fsm(netlist, state_gates, transition_gates, initial_state, graph_path, timeout)

Definition at line 32 of file test_plugin.py.

Referenced by hal::PhysicalGraphLayouter.add(), hal::WaitToBeSeatedList.add(), hal::NodeBoxes.addBox(), hal::GraphicsScene.addGraphItem(), hal::ModuleModel.addRecursively(), hal.boolean_function_decorator_init(), hal::NodeBoxes.boxForGate(), hal::NetlistRelay.changeElementNameDialog(), hal::GroupingTableModel.colorForItem(), hal::CommonSuccessorPredecessor.CommonSuccessorPredecessor(), hal::CommonSuccessorPredecessorGateQueue.CommonSuccessorPredecessorGateQueue(), hal::GraphicsFactory.createGraphicsGate(), hal::Netlist.delete_grouping(), hal::ActionAddItemsToObject.exec(), hal::ActionDeleteObject.exec(), hal::ActionFoldModule.exec(), hal::gui_utility.firstCommonAncestor(), hal::graph_algorithm::NetlistGraph.from_netlist(), hal::graph_algorithm::NetlistGraph.from_netlist_no_edges(), hal::CoordinateFromData.fromNode(), hal.gate_init(), hal::GateSelectEntry.GateSelectEntry(), hal::GateSelectModel.GateSelectModel(), hal.generateGroupName(), hal::netlist_utils.get_common_inputs(), hal::Netlist.get_gates(), hal::Module.get_gates(), hal::graph_algorithm::NetlistGraph.get_gates_from_vertices(), hal::graph_algorithm::NetlistGraph.get_gates_from_vertices_igraph(), hal::graph_algorithm::NetlistGraph.get_gates_set_from_vertices(), hal::graph_algorithm::NetlistGraph.get_gates_set_from_vertices_igraph(), hal::netlist_utils.get_next_gates(), hal::NetlistTraversalDecorator.get_next_matching_gates_until_depth(), hal::NetlistTraversalDecorator.get_next_sequential_gates_map(), hal::SubgraphNetlistDecorator.get_subgraph_function(), hal::SubgraphNetlistDecorator.get_subgraph_function_inputs(), hal::graph_algorithm::NetlistGraph.get_vertex_from_gate(), hal::graph_algorithm::NetlistGraph.get_vertices_from_gates(), hal::graph_algorithm::NetlistGraph.get_vertices_from_gates_igraph(), hal::SelectionDetailsIconProvider.getIcon(), hal::GraphContext.getModuleChildrenRecursively(), hal::GraphContext.getNetDestination(), hal::GraphContext.getNetSource(), hal::CommonSuccessorPredecessorGateQueue.getNext(), hal::GatePinsTreeModel.getNumberOfDisplayedPins(), hal::GraphicsGate.GraphicsGate(), hal::dataflow::Grouping.Grouping(), hal::GraphContextManager.handleGateNameChanged(), hal::GraphContextManager.handleGateRemoved(), hal::GraphContextManager.handleModuleColorChanged(), hal::GateLibraryManager.handleSelectionChanged(), hal::GateSelectPicker.handleSelectionChanged(), hal::GraphGraphicsView.handleShortestPath(), hal::dataflow::pre_processing.identify_register_stages(), hal::GraphContext.isModuleUnfolded(), hal::GatelibraryTableModel.loadFile(), hal::dataflow::Result.merge_groups(), hal::ShortestPath.module(), hal::ModuleItem.ModuleItem(), hal::SelectionRelay.navigateDown(), hal::SelectionRelay.navigateUp(), hal::GraphContext.nodeForGate(), hal::gui_utility.parentModules(), hal::ModuleModel.populateFromGatelist(), hal::dataflow::group_by_input_output_size.process(), hal.PYBIND11_PLUGIN(), hal::netlist_utils.remove_unused_lut_endpoints(), hal::GraphicsScene.removeGraphItem(), hal::GroupingTableModel.removeRows(), hal::CommonSuccessorPredecessor.result(), hal::ModuleSelectExclude.selectionToString(), hal::GroupingSerializer.serialize(), hal::GatePinsTreeModel.setGate(), hal::GatePinTree.setGate(), hal::BooleanFunctionTable.setGateInformation(), hal::GraphNavigationWidget.setup(), hal::GatelibraryGraphicsView.showGate(), hal::dataflow::Result.split_group(), hal::BooleanFunctionDecorator.substitute_power_ground_pins(), hal.TEST_F(), hal::GraphContext.unfoldModule(), hal::ModuleShader.update(), hal::GraphContext.updateNets(), hal::CommonSuccessorPredecessorGateQueue.waypoints(), and hal::dataflow::Configuration.with_known_structures().

graph_path

string test_plugin.graph_path = base_path + "examples/fsm/graph.dot"

Definition at line 29 of file test_plugin.py.

Referenced by hal::solve_fsm.generate_dot_graph(), hal.PYBIND11_PLUGIN(), hal::solve_fsm.solve_fsm(), and hal::solve_fsm.solve_fsm_brute_force().

initial_state

dictionary test_plugin.initial_state = {}

Definition at line 28 of file test_plugin.py.

Referenced by hal.PYBIND11_PLUGIN(), and hal::solve_fsm.solve_fsm().

netlist

test_plugin.netlist = hal_py.NetlistFactory.load_netlist(base_path + "examples/fsm/fsm.v", base_path + "examples/fsm/example_library.hgl")

Definition at line 16 of file test_plugin.py.

pl_fsm

test_plugin.pl_fsm = hal_py.plugin_manager.get_plugin_instance("solve_fsm")

Definition at line 20 of file test_plugin.py.

state_gates

test_plugin.state_gates = fsm_mod.get_gates(lambda g : g.type.has_property(hal_py.GateTypeProperty.sequential))

Definition at line 26 of file test_plugin.py.

timeout

int test_plugin.timeout = 600000

Definition at line 30 of file test_plugin.py.

Referenced by hal.PYBIND11_PLUGIN(), and hal::solve_fsm.solve_fsm().

transition_gates

test_plugin.transition_gates = fsm_mod.get_gates(lambda g : g.type.has_property(hal_py.GateTypeProperty.combinational))

Definition at line 25 of file test_plugin.py.