Thacker's paper, including the verilog
Simon Moore's modules from the Computer Lab at Cambridge,
see http://www.cl.cam.ac.uk/~swm11/examples/bluespec/Tiny3/
add boilerplate copied from examples/simple
xbsv starting point, copied from TinyTestBench
modify to call from Top.bsv
remove package
add tiny3
boilerplate