sbt "run-main mr1.MR1Verilog"
#sbt "run-main mr1.TopVerilog"