[difftest] fix wrong arch config

chipsalliance · Jun 7, 2024 · 0d28330 · 0d28330
1 parent ca2a4a9
commit 0d28330
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/difftest/t1-simulator/src/difftest/spike.rs b/difftest/t1-simulator/src/difftest/spike.rs
@@ -281,7 +281,7 @@ impl SpikeHandle {
     let entry_addr = load_elf(fname).unwrap();
 
     // initialize spike
-    let arch = "vlen:1024,elen:32";
+    let arch = &format!("vlen:{vlen},elen:32");
     let lvl = "M";
 
     let spike = Spike::new(arch, &set, lvl);

diff --git a/difftest/t1-simulator/src/difftest/spike/spike_event.rs b/difftest/t1-simulator/src/difftest/spike/spike_event.rs
@@ -243,7 +243,7 @@ impl SpikeEvent {
             byte: cur_byte,
             executed: false,
           });
-        info!(
+        trace!(
           "SpikeVRFChange: vrf={:?}, change_from={origin_byte}, change_to={cur_byte}, vrf_idx={offset}",
           vec![offset / vlen_in_bytes, offset % vlen_in_bytes],
         );