問題タブ [system-verilog-assertions]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
206 参照

system-verilog - Systemverilog property implication with or (||) is not working as expected?

I am trying to write sytemverilog assertions for determining clock period(140MHz) with arbitrary + or - value of 0.001ns, here in this systemverilog property used "or" operator (||) for +/- deviations/changes of time periods but outputs are not as expected, can anyone explain what is the exact cause of this?, and for any value of clk_prd the assertion gets asserted which is not as expected, also please mention what is the optimal solution for this?

code snippet below,

Current output:

Expected output

(ref from link)