-
Notifications
You must be signed in to change notification settings - Fork 2
/
fletcher_fail2warn.patch
47 lines (43 loc) · 2.28 KB
/
fletcher_fail2warn.patch
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
diff --git a/hardware/interconnect/BusReadBuffer.vhd b/hardware/interconnect/BusReadBuffer.vhd
index 976cbf5..dc55010 100644
--- a/hardware/interconnect/BusReadBuffer.vhd
+++ b/hardware/interconnect/BusReadBuffer.vhd
@@ -205,12 +205,12 @@ begin
-- Check if the request burst length is not larger than the FIFO depth
assert unsigned(ms_req_len) < 2**DEPTH_LOG2
report "Violated burst length requirement. ms_req_len(=" & slvToUDec(ms_req_len) & ") < 2**DEPTH_LOG2(=" & integer'image(2**DEPTH_LOG2) & ") not met, deadlock!"
- severity FAILURE;
+ severity WARNING;
-- Check if either the amount of space reserved is larger than 0 or the fifo is ready
assert reserved_v > 0 or fifo_ready = '1'
report "Bus buffer deadlock!"
- severity FAILURE;
+ severity WARNING;
-- Check if the amount of space reserved is equal or larger than 0 after the reservation
assert reserved_v >= 0
@@ -218,7 +218,7 @@ begin
"Check if BUS_LEN_WIDTH is wide enough to contain log2(slv_rreq_len)+2 bits. " &
"reserved_v=" & sgnToDec(reserved_v) & ">= 0. " &
"Reserved (if accepted):" & sgnToDec(reserved_if_accepted)
- severity FAILURE;
+ severity WARNING;
-- pragma translate_on
diff --git a/hardware/vhlib/stream/StreamPipelineControl.vhd b/hardware/vhlib/stream/StreamPipelineControl.vhd
index 034643a..cefce8b 100644
--- a/hardware/vhlib/stream/StreamPipelineControl.vhd
+++ b/hardware/vhlib/stream/StreamPipelineControl.vhd
@@ -226,12 +226,12 @@ begin
end if;
if out_valid_s = '1' and out_ready = '1' then
assert fifo_reserved_v > 0
- report "FIFO underflow possible!" severity failure;
+ report "FIFO underflow possible!" severity warning;
fifo_reserved_v := fifo_reserved_v - 1;
end if;
if pipe_valid_s(pipe_valid_s'HIGH) = '1' and pipe_delete = '1' then
assert fifo_reserved_v > 0
- report "FIFO underflow possible!" severity failure;
+ report "FIFO underflow possible!" severity warning;
fifo_reserved_v := fifo_reserved_v - 1;
end if;
fifo_reserved <= fifo_reserved_v;