test_plugin.py File Reference

Go to the source code of this file.

Namespaces
	test_plugin

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