You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Bounded Liveness Properties<br />
module liveness(input clk, input axis_valid, output axis_ready);<br />
reg [9:0] count1 = 0, count2 = 0;<br />
...<br />
integer timeout = 0;<br />
always @(posedge clk)<br />
if (axis_valid && !axis_ready)<br />
timeout