Topics tagged property

Topic	Replies	Views	Activity
Use of an Associative array or Queue in System Verilog Assertion Property SystemVerilog SystemVerilog , UVM , assertion , System-Verilog , queue , property , accessing-the-associative-array-elements	6	231	February 23, 2024
Asynchronous Stable Signal SVA SystemVerilog SystemVerilog , assertion , testbench , SVA , property	14	862	August 17, 2023
How to check if different signals are asserted in order? SystemVerilog SystemVerilog , UVM , assertion , System-Verilog , SVA , property	1	520	October 19, 2022
What is the difference between "implication", "implies", and 'if-else"? SystemVerilog SystemVerilog , property , implication , implies	4	884	May 3, 2022
Cover properties under generate Coverage SystemVerilog , Coverage , property , continue	1	730	February 8, 2022
How to pass multi-bit variable in a SVA property's arguments? SystemVerilog SystemVerilog , SVA , property	4	10212	November 25, 2019
Assertion issue SystemVerilog SystemVerilog , assertion , property	1	1246	November 14, 2018
Loop for the properties for dynamic signals in the interface SystemVerilog SystemVerilog , property , for-loop , Bus-interface , cover-property	2	2351	April 9, 2018
Properties for multiple signals(or array of signals) in the interface SystemVerilog SystemVerilog , property , sequences-and-properties , Bus-interface , actual-interface	2	3341	April 9, 2018
'disable iff' not working when variables used in SVA property SystemVerilog SystemVerilog , assertion , SVA , property	2	4845	February 8, 2018
Variable Delay for SystemVerilog Assertion SystemVerilog SystemVerilog , assertion , SVA , property	2	1859	February 8, 2018
Property specification using a generate block SystemVerilog SystemVerilog , property , generate-block	2	1265	July 25, 2016
Difference between a Sequence and a property in system verilog? SystemVerilog SystemVerilog , system-verilog-assertion-SVA , property	1	7815	September 4, 2015
Range issue in systemverilog property SystemVerilog SystemVerilog , system-verilog-assertion-SVA , sequence-control , property , range	3	3528	July 25, 2014