# Pastebin apJrqWkB python3 sequence_detector.py | pastebinit Traceback (most recent call last): File "sequence_detector.py", line 44, in run_simulation(mySeqDetect, ncycles=20, vcd_name="seq_detect.vcd") File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/sim/generic.py", line 227, in run_simulation with Simulator(fragment, TopLevel(vcd_name), icarus.Runner(**kwargs)) as s: File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/sim/generic.py", line 84, in __init__ fragment = fragment.get_fragment() File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/module.py", line 100, in get_fragment self.finalize() File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/module.py", line 167, in finalize subfragments = self._collect_submodules() File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/module.py", line 160, in _collect_submodules r.append((name, submodule.get_fragment())) File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/module.py", line 100, in get_fragment self.finalize() File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/module.py", line 168, in finalize self.do_finalize(*args, **kwargs) File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/genlib/fsm.py", line 127, in do_finalize cases = dict((self.encoding[k], ln.visit(v)) for k, v in self.actions.items() if v) File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/genlib/fsm.py", line 127, in cases = dict((self.encoding[k], ln.visit(v)) for k, v in self.actions.items() if v) File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/visit.py", line 135, in visit return self.visit_statements(node) File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/visit.py", line 191, in visit_statements return [self.visit(statement) for statement in node] File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/visit.py", line 191, in return [self.visit(statement) for statement in node] File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/fhdl/visit.py", line 141, in visit return self.visit_unknown(node) File "/usr/local/lib/python3.4/dist-packages/migen-0.0_dev-py3.4.egg/migen/genlib/fsm.py", line 40, in visit_unknown return self.next_state_signal.eq(self.encoding[actual_state]) KeyError: 'WaitforOne'