URL
https://opencores.org/ocsvn/wbuart32/wbuart32/trunk
[/] [wbuart32/] [trunk/] [rtl/] [ufifo.v] - Diff between revs 21 and 23
Go to most recent revision |
Show entire file |
Details |
Blame |
View Log
Rev 21 |
Rev 23 |
Line 372... |
Line 372... |
&&($past(will_overflow)))
|
&&($past(will_overflow)))
|
assert(o_err);
|
assert(o_err);
|
end
|
end
|
end
|
end
|
|
|
|
always @(posedge i_clk)
|
|
if (RXFIFO)
|
|
begin
|
|
assert(o_status[0] == (f_fill != 0));
|
|
assert(o_status[1] == (f_fill[LGFLEN-1]));
|
|
end
|
|
|
|
always @(posedge i_clk)
|
|
if (!RXFIFO) // Transmit FIFO interrupt flags
|
|
begin
|
|
assert(o_status[0] != (!w_full_n));
|
|
assert(o_status[1] == (!f_fill[LGFLEN-1]));
|
|
end
|
|
|
`endif
|
`endif
|
endmodule
|
endmodule
|
|
|
No newline at end of file
|
No newline at end of file
|
© copyright 1999-2024
OpenCores.org, equivalent to Oliscience, all rights reserved. OpenCores®, registered trademark.