Fixing potentially messed up PC tracking for ariane and pico

PrincetonUniversity · Nov 7, 2021 · 3cc7bf4 · 3cc7bf4
1 parent 6c85503
commit 3cc7bf4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/piton/verif/env/manycore/pc_cmp.v.pyv b/piton/verif/env/manycore/pc_cmp.v.pyv
@@ -260,7 +260,7 @@ endtask // get_thread_status
         `endif // RTL_ARIANE0
         `endif // RTL_SPARC0
         '''
-    pattern = ["SPARC0", "PATH0", "spc0", "sas_m0", "pcs0", "pcf0", "pcd0", "pce0", \
+    pattern = ["SPARC0", "RTL_ARIANE0", "RTL_PICO0", "PATH0", "spc0", "sas_m0", "pcs0", "pcf0", "pcd0", "pce0", \
                 "IFQDP0", "DTUPATH0", "PICO_CORE0", "ARIANE_CORE0", "active_thread[(0"];
     tt = ReplicatePattern(t, pattern);
     print(tt)