Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Immediate assertions,<br />
Concurrent assertions<br />
●<br />
Immediate assertions: assert(), assume(), or restrict()<br />
<strong>with</strong>in an always or initial block, <strong>with</strong> an expression as<br />
argument. This is fully supported by <strong>Yosys</strong>. For example:<br />
– initial assume (foo < bar);<br />
– always @* assert (2*foo > bar);<br />
– always @(posedge clk) if (foo < 10) restrict(bar > 10);<br />
●<br />
Concurrent assertions: Asserting a SystemVerilog property in<br />
module context. So far <strong>Yosys</strong> only supports simple expression<br />
properties:<br />
– assert property (expression);<br />
is identical to:<br />
– always @* assert(expression);