b) If “a” is high in a cycle after two clock cycles, signal “b” has to be asserted high. Snippet: SystemVerilog. Assertion passes when signal “a ...
確定! 回上一頁