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 /picorv32.v | |
| parent | 28fe45ffe929c2f6788314e5ff27923c8dc770b6 (diff) | |
| download | picorv32-90070736d67ac2cb680cfe697db6a003fd5f844a.tar.gz picorv32-90070736d67ac2cb680cfe697db6a003fd5f844a.zip | |
More asserts
Diffstat (limited to 'picorv32.v')
| -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 |