Mon Jun 11 12:12:17 EDT 2018
Make a test bench for semantics
Basically, compare the python simulation output with the Seq output.
The simplest way to do this seems to be to generate a python data
structure and have the python script verify it.