Hardware/picorv32
1
0
Fork 0
mirror of https://github.com/YosysHQ/picorv32.git synced 2025-01-03 03:43:38 -05:00
Code Issues Projects Releases Packages Wiki Activity

More asserts

Browse source
This commit is contained in:
Clifford Wolf 2016-08-29 22:44:15 +02:00
parent 28fe45ffe9
commit 90070736d6
1 changed files with 9 additions and 0 deletions

9
picorv32.v
View file

@ -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