From 7468e7655d25f98d6ccc43b41e4d94157e85b512 Mon Sep 17 00:00:00 2001 From: KrystalDelusion Date: Tue, 10 May 2022 11:03:40 +1200 Subject: [PATCH] Alignment fixing --- docs/examples/fifo/top.sv | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/docs/examples/fifo/top.sv b/docs/examples/fifo/top.sv index 0db2ece..428bf1f 100644 --- a/docs/examples/fifo/top.sv +++ b/docs/examples/fifo/top.sv @@ -108,10 +108,10 @@ module fifo ( // ap_waddr3: assert property (!wen && !empty |=> waddr == $past(waddr)); // full and empty work as expected - a_full: assert (!full || full && count == MAX_DATA); - w_full: cover (wen && !ren && count == MAX_DATA-1); + a_full: assert (!full || full && count == MAX_DATA); + w_full: cover (wen && !ren && count == MAX_DATA-1); a_empty: assert (!empty || empty && count == 0); - w_empty: cover property (ren && !wen && count == 1); + w_empty: cover (ren && !wen && count == 1); // can we corrupt our data? // ap_overfill: assert property (wen && full |=> raddr != $past(raddr));