diff options
| author | Clifford Wolf <clifford@clifford.at> | 2016-09-03 14:40:13 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2016-09-03 14:40:13 +0200 |
| commit | d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9 (patch) | |
| tree | fe93b50b4027155edaf1f7a20eae47a721ae7d42 /picorv32.v | |
| parent | 0906b1b4b4c28c441d2601171956bca853608d1d (diff) | |
| download | picorv32-d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9.tar.gz picorv32-d5b7e9e1756aa5afa1d7dd4eb2e069a7600f64e9.zip | |
Minor bugfix/cleanup (mostly for formal verification)
Diffstat (limited to 'picorv32.v')
| -rw-r--r-- | picorv32.v | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1197,7 +1197,7 @@ module picorv32 #( end always @(posedge clk) begin - if (cpuregs_write) + if (resetn && cpuregs_write) cpuregs[latched_rd] <= cpuregs_wrdata; end |