You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
axicheck.v<br />
// only deassert “valid” after successful transfer<br />
if ($fell(mem_axi_awvalid)) begin<br />
assert($past(mem_axi_awready));<br />
end<br />
// only deassert “ready” after successful transfer<br />
if ($fell(mem_axi_awready)) begin<br />
assume($past(mem_axi_awvalid));<br />
end<br />
// data must be stable while “valid” is active<br />
if ($past(mem_axi_awvalid && !mem_axi_awready)) begin<br />
assert($stable(mem_axi_awaddr));<br />
assert($stable(mem_axi_awprot));<br />
end<br />
5x for the 5 AXI Streams, swapping assume() and assert() for slave interfaces<br />
+ some additional checks to make sure the traffic on the 5 streams is consistent.<br />
E.g. no read results are received <strong>with</strong>out a read request first being sent.