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

Fixed bigtest

Browse source 
Accidentally broke it in cc27d27 (this is why regular testing is important).
This commit is contained in:
KrystalDelusion 2022-08-02 10:12:33 +12:00
parent b2d0368e26
commit 93d8ef9663
2 changed files with 1 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -3,7 +3,6 @@ basic bmc
nofullskip prove nofullskip prove
cover cover
bigtest cover bigtest cover
basic cover : default
[options] [options]
cover: cover:

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

@ -31,7 +31,7 @@ module fifo
); );
// fifo storage // fifo storage
// async read, sync write // async read, sync write
wire [3:0] waddr, raddr; wire [ADDR_BITS-1:0] waddr, raddr;
reg [7:0] data [MAX_DATA-1:0]; reg [7:0] data [MAX_DATA-1:0];
always @(posedge clk) always @(posedge clk)
if (wen) if (wen)