diff options
author | Clifford Wolf <clifford@clifford.at> | 2016-08-29 22:44:15 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2016-08-29 22:44:15 +0200 |
commit | 90070736d67ac2cb680cfe697db6a003fd5f844a (patch) | |
tree | 3e60c80dcc4b5e2777635ffa63716f275b1ec907 | |
parent | 28fe45ffe929c2f6788314e5ff27923c8dc770b6 (diff) | |
download | picorv32-90070736d67ac2cb680cfe697db6a003fd5f844a.tar.gz picorv32-90070736d67ac2cb680cfe697db6a003fd5f844a.zip |
More asserts
-rw-r--r-- | picorv32.v | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -460,8 +460,17 @@ module picorv32 #( if (mem_do_prefetch || mem_do_rinst || mem_do_rdata) `assert(!mem_do_wdata); + if (mem_do_prefetch || mem_do_rinst) + `assert(!mem_do_rdata); + + if (mem_do_rdata) + `assert(!mem_do_prefetch && !mem_do_rinst); + if (mem_do_wdata) `assert(!(mem_do_prefetch || mem_do_rinst || mem_do_rdata)); + + if (mem_state == 2 || mem_state == 3) + `assert(mem_valid || mem_do_prefetch); end end |