mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-12 16:28:17 +00:00
Code Activity

Removing unnecessary underflow assertions

Browse source
This commit is contained in:
KrystalDelusion 2022-07-01 11:15:47 +12:00
parent 907db48ac9
commit 7ba67ef260
1 changed files with 1 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
docs/examples/fifo/fifo.sv
View file

@ -111,9 +111,7 @@ module fifo (
// waddr and raddr can only be non zero if reset is high // waddr and raddr can only be non zero if reset is high
w_nreset: cover (waddr || raddr); w_nreset: cover (waddr || raddr);
// count never less than zero, or more than max // count never more than max
a_uflow: assert (count >= 0);
a_uflow2: assert (raddr >= 0);
a_oflow: assert (count <= MAX_DATA); a_oflow: assert (count <= MAX_DATA);
a_oflow2: assert (waddr < MAX_DATA); a_oflow2: assert (waddr < MAX_DATA);