mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-07-06 14:56:27 +00:00
Code Activity

Merge pull request #215 from KrystalDelusion/master

Browse source 
Fixing golden/fifo.sv
This commit is contained in:
Jannis Harder 2022-09-08 12:37:30 +02:00 • committed by GitHub
commit e97dd01523
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 1 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

0
docs/examples/fifo/skip_fifo.sby → docs/examples/fifo/fifo.sby
View file

0
docs/examples/fifo/golden/skip_fifo.sby → docs/examples/fifo/golden/fifo.sby
View file

1
docs/examples/fifo/golden/fifo.sv
View file

@ -161,6 +161,7 @@ module fifo
// look for an overfill where the value in memory changes // look for an overfill where the value in memory changes
// the change in data makes certain that the value is overriden // the change in data makes certain that the value is overriden
let d_change = (wdata != rdata);
property read_skip; property read_skip;
@(posedge clk) disable iff (rst) @(posedge clk) disable iff (rst)
!ren && d_change |=> $changed(raddr); !ren && d_change |=> $changed(raddr);