Topics tagged property

Topic	Replies	Views	Activity
Cover property/sequence for transaction objects SystemVerilog SystemVerilog , Coverage , property	0	59	November 26, 2024
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	407	February 23, 2024
Asynchronous Stable Signal SVA SystemVerilog SystemVerilog , assertion , testbench , SVA , property	14	1083	August 17, 2023
How to check if different signals are asserted in order? SystemVerilog SystemVerilog , UVM , assertion , System-Verilog , SVA , property	1	602	October 19, 2022
What is the difference between "implication", "implies", and 'if-else"? SystemVerilog SystemVerilog , property , implication , implies	4	1070	May 3, 2022
Cover properties under generate Coverage SystemVerilog , Coverage , property , continue	1	841	February 8, 2022
How to pass multi-bit variable in a SVA property's arguments? SystemVerilog SystemVerilog , SVA , property	4	10556	November 25, 2019
Assertion issue SystemVerilog SystemVerilog , assertion , property	1	1287	November 14, 2018
Loop for the properties for dynamic signals in the interface SystemVerilog SystemVerilog , property , for-loop , Bus-interface , cover-property	2	2476	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	3526	April 9, 2018
'disable iff' not working when variables used in SVA property SystemVerilog SystemVerilog , assertion , SVA , property	2	5036	February 8, 2018
Variable Delay for SystemVerilog Assertion SystemVerilog SystemVerilog , assertion , SVA , property	2	1931	February 8, 2018
Property specification using a generate block SystemVerilog SystemVerilog , property , generate-block	2	1315	July 25, 2016
Difference between a Sequence and a property in system verilog? SystemVerilog SystemVerilog , system-verilog-assertion-SVA , property	1	8134	September 4, 2015
Range issue in systemverilog property SystemVerilog SystemVerilog , system-verilog-assertion-SVA , sequence-control , property , range	3	3674	July 25, 2014