WIP

esl-epfl · Dec 12, 2024 · b839da8 · b839da8
1 parent f05252f
commit b839da8
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 3 deletions.
diff --git a/core-v-mini-mcu.core b/core-v-mini-mcu.core
@@ -370,15 +370,23 @@ targets:
           - '--trace-fst'
           - '--trace-structs'
           - '--trace-params'
+          - '--pins-inout-enables'
           - '--trace-max-array 1024'
           - '--x-assign unique'
           - '--x-initial unique'
+          - '--binary'
+          - '--build'
+          - '--build-jobs 4'
+          - '-j 4'
           - '--exe tb_top.cpp'
           - '-CFLAGS "-Wall -g -fpermissive"'
           - '-LDFLAGS "-pthread -lutil -lelf"'
           - "-Wall"
+          - '--threads 4'
           - '--timing'
-          - '--timescale 1ns/1ps'
+          - '--timescale-override 1ns/1ps'
+          - '-O3'
+          - '--verilate-jobs 4'
 
   sim_sc:
     <<: *default_target

diff --git a/hw/simulation/pad_cell_output.sv b/hw/simulation/pad_cell_output.sv
@@ -19,7 +19,8 @@ module pad_cell_output #(
   logic pad;
 
   assign pad_out_o = 1'b0;
-  assign pad_io = pad;
+  // CAMBIATO QUESTO
+  assign pad_io = (pad_oe_i) ? pad : 1'bz;
   assign pad = pad_in_i;
 
 endmodule
diff --git a/hw/vendor/waiver/lint/picorv32.vlt b/hw/vendor/waiver/lint/picorv32.vlt
@@ -14,3 +14,4 @@ lint_off -rule WIDTHTRUNC -file "*picosoc/*.v" -match "*"
 lint_off -rule UNUSEDSIGNAL  -file "*picosoc/*.v" -match "*"
 lint_off -rule CASEINCOMPLETE -file "*picosoc/*.v" -match "*"
 lint_off -rule BLKSEQ -file "*picosoc/*.v" -match "*"
+lint_off -rule SYNCASYNCNET -file "*picosoc/*.v" -match "*"
diff --git a/tb/tb_top.cpp b/tb/tb_top.cpp
@@ -88,7 +88,6 @@ int main (int argc, char * argv[])
   dut->rst_ni               = 0;
   runCycles(50, dut, m_trace);
 
-
   dut->rst_ni = 1;
   runCycles(20, dut, m_trace);
   std::cout<<"Reset Released"<< std::endl;