|
is $fell(sig_a) true when sig_a from x to 0?
|
|
4
|
158
|
July 13, 2026
|
|
[SVA Question] Signal 'b' has to toggle only once within 10cycle window of signal 'a' after 'a' is asserted
|
|
7
|
167
|
June 28, 2026
|
|
Advantage of $future_gclk over $past in FV
|
|
0
|
42
|
May 25, 2026
|
|
To check that a signal toggles at least once every 20 cycles
|
|
11
|
361
|
May 6, 2026
|
|
Need help understanding formal verification of asynchronous FIFO
|
|
1
|
146
|
April 15, 2026
|
|
UVM Verification of I2C Slave IP with APB Registers
|
|
2
|
131
|
March 10, 2026
|
|
Assertion failure using strong property
|
|
7
|
122
|
February 19, 2026
|
|
Equivalent expression for intersect operator
|
|
1
|
50
|
February 15, 2026
|
|
Formal arguments to properties / sequences
|
|
1
|
59
|
February 13, 2026
|
|
Assertion error
|
|
3
|
100
|
January 5, 2026
|
|
Assertion calculation after reset
|
|
0
|
67
|
January 2, 2026
|
|
Sequence which admits : No match v/s Hard Zero
|
|
8
|
465
|
December 27, 2023
|
|
Execution of action block in Abort properties (reject_on / accept_on)
|
|
3
|
132
|
December 27, 2025
|
|
SVA to check a N-stage synchronizer output
|
|
9
|
144
|
December 18, 2025
|
|
Force a bunch of internal signals when there another particular signal goes high
|
|
2
|
64
|
November 27, 2025
|
|
Question regarding followed by operator in SVA (#-# and #=#
|
|
0
|
79
|
November 11, 2025
|
|
Chained Implications in SVA
|
|
0
|
91
|
November 3, 2025
|
|
restricting sequence as long as one variable is asserted
|
|
4
|
119
|
November 2, 2025
|
|
What operators constitute a multi-threaded sequence
|
|
1
|
100
|
October 16, 2025
|
|
AHB Write data (HWDATA) Stability Check during AHB write waited states. (SVA)
|
|
0
|
87
|
September 19, 2025
|
|
Detect AHB data-phase of AHB Write/Read Access and check the write/read data is valid. (SVA)
|
|
0
|
71
|
September 19, 2025
|
|
Assertion to check the following waveform
|
|
5
|
205
|
September 9, 2025
|
|
Understanding the working of Embedded Concurrent Assertions
|
|
8
|
238
|
September 8, 2025
|
|
Doubts on disable iff clause in SVA
|
|
2
|
155
|
August 31, 2025
|
|
SVA Assertions using only $realtime and nested implications
|
|
5
|
306
|
August 13, 2025
|
|
Procedural concurrent assertions within for loop
|
|
5
|
299
|
August 10, 2025
|
|
Using ternary operator as an alternative to if-else in consequent
|
|
3
|
141
|
August 5, 2025
|
|
SVA: Implementing Dynamic Delay using procedural Immediate assertion
|
|
5
|
245
|
July 27, 2025
|
|
Working of sequence method 'matched'
|
|
1
|
166
|
June 21, 2025
|
|
Regarding disable iff
|
|
3
|
243
|
June 20, 2025
|