mirror of https://github.com/YosysHQ/picorv32.git
Minor bugfix/cleanup (mostly for formal verification)
This commit is contained in:
parent
0906b1b4b4
commit
d5b7e9e175
|
@ -1197,7 +1197,7 @@ module picorv32 #(
|
|||
end
|
||||
|
||||
always @(posedge clk) begin
|
||||
if (cpuregs_write)
|
||||
if (resetn && cpuregs_write)
|
||||
cpuregs[latched_rd] <= cpuregs_wrdata;
|
||||
end
|
||||
|
||||
|
|
Loading…
Reference in New Issue