hw: Disable assertion on write to x0 (pulp-platform/snitch#180)

* hw: Disable assertion on write to x0 * Update hw/ip/snitch/src/snitch.sv Co-authored-by: Florian Zaruba <florian@zaruba.email>
pulp-platform · Jul 11, 2023 · db30d32 · db30d32
1 parent cd202c8
commit db30d32
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/hw/snitch/src/snitch.sv b/hw/snitch/src/snitch.sv
@@ -2603,6 +2603,6 @@ module snitch import snitch_pkg::*; import riscv_instr::*; #(
       (inst_valid_o && inst_ready_i && inst_cacheable_o) ##1 (inst_valid_o && $stable(inst_addr_o))
       |-> inst_ready_i && $stable(inst_data_i), clk_i, rst_i)
 
-  `ASSERT(RegWriteKnown, gpr_we |-> !$isunknown(gpr_wdata), clk_i, rst_i)
+  `ASSERT(RegWriteKnown, gpr_we & (gpr_waddr != 0) |-> !$isunknown(gpr_wdata), clk_i, rst_i)
 
 endmodule