Second Step: add tinyriscv to the runTestRIG.py file

Author: GabPGomes

utils/scripts/runTestRIG.py

@@ -80,7 +80,7 @@ def z_ext(ext_name):
 def x_ext(ext_name):
   return ["", "X"+ext_name]
 
-known_rvfi_dii = {'spike', 'rvbs', 'sail', 'piccolo', 'flute', 'toooba', 'ibex', 'muntjac', 'qemu', 'manual', 'none'}
+known_rvfi_dii = {'spike', 'rvbs', 'sail', 'piccolo', 'flute', 'toooba', 'ibex', 'muntjac', 'qemu', 'tinyriscv', 'manual', 'none'}
 known_vengine = {'QCVEngine', 'QCVEngine-docker'}
 multi_letter_exts = ["_".join(filter(None, [e0, e1, e2, e3]))
                      for e0 in z_ext("icsr")
@@ -171,6 +171,9 @@ def x_ext(ext_name):
 parser.add_argument('--path-to-muntjac', metavar='PATH', type=str,
   default=op.join(implementations_path, "muntjac/bin/muntjac_core"),
   help="The PATH to the Muntjac executable")
+parser.add_argument('--path-to-tinyriscv', metavar='PATH', type=str,
+  default=op.join(implementations_path, "tinyriscv/cocotb/run_tinyriscv.py"),
+  help="The PATH to the tinyriscv run script")
 parser.add_argument('--path-to-QCVEngine', metavar='PATH', type=str,
   default=op.join(vengines_path, "QuickCheckVEngine/bin/QCVEngine"),
   help="The PATH to the QCVEngine executable")
@@ -506,6 +509,9 @@ def spawn_rvfi_dii_server(name, port, log, isa_def):
     env2["RVFI_DII_PORT"] = str(port)
     cmd = [args.path_to_muntjac]
   ##############################################################################
+  elif name == 'tinyriscv':
+    cmd = ['python3', args.path_to_tinyriscv, str(port)]
+  ##############################################################################
   elif name == 'manual':
     return None
   ##############################################################################