diff options
| author | Clifford Wolf <clifford@clifford.at> | 2015-08-13 13:30:21 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2015-08-13 13:30:21 +0200 |
| commit | 16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5 (patch) | |
| tree | 601e4d84a0a719d619523425f028621169b66900 /picorv32.v | |
| parent | 8397962424388b755df18e368920d86f20391671 (diff) | |
| download | picorv32-16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5.tar.gz picorv32-16f97a86a1e8c4a7582e55a6c7e4d4430b076fe5.zip | |
Reset bugfix (bug found via scripts/smt2-bmc/mem_equiv.*)
Diffstat (limited to 'picorv32.v')
| -rw-r--r-- | picorv32.v | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -175,7 +175,7 @@ module picorv32 #( reg mem_do_wdata; wire mem_busy = |{mem_do_prefetch, mem_do_rinst, mem_do_rdata, mem_do_wdata}; - wire mem_done = (mem_ready && |mem_state && (mem_do_rinst || mem_do_rdata || mem_do_wdata)) || (&mem_state && mem_do_rinst); + wire mem_done = resetn && ((mem_ready && |mem_state && (mem_do_rinst || mem_do_rdata || mem_do_wdata)) || (&mem_state && mem_do_rinst)); assign mem_la_write = resetn && !mem_state && mem_do_wdata; assign mem_la_read = resetn && !mem_state && (mem_do_rinst || mem_do_prefetch || mem_do_rdata); |