Constraint to generate a pattern
|
|
14
|
750
|
August 14, 2024
|
Constraint to print pattern 122333444455555
|
|
9
|
176
|
February 8, 2025
|
Writing an SVA for 3 signals
|
|
14
|
301
|
July 15, 2024
|
Constraint elements in a 2D array to a particular number a particular number of times
|
|
9
|
373
|
November 6, 2024
|
Solve the following assertion
|
|
15
|
150
|
February 1, 2025
|
Property to count the number of pulse
|
|
11
|
215
|
September 5, 2024
|
Understanding the throughout SVA
|
|
10
|
710
|
February 29, 2024
|
Constraint to generate continous 7 ones
|
|
11
|
140
|
October 2, 2024
|
Regarding clock inheritance for sequence methods and event control
|
|
11
|
398
|
March 29, 2024
|
Assertion variable delay
|
|
11
|
181
|
September 6, 2024
|
Seq.start(seqr) is not starting the seq body
|
|
10
|
140
|
October 23, 2024
|
4 phase req ack
|
|
10
|
234
|
June 7, 2024
|
Skipping a register field from comparison with RAL
|
|
10
|
514
|
May 15, 2024
|
SVA: throught operator
|
|
9
|
141
|
November 10, 2024
|
Seq.start(agt.seqr) not executing
|
|
9
|
138
|
August 8, 2024
|
Assertion for conditional sgnal monitoring
|
|
11
|
82
|
December 7, 2024
|
Split an array equally and unique
|
|
10
|
141
|
October 26, 2024
|
Random variable slice
|
|
12
|
70
|
January 7, 2025
|
Followed by operator usage in coverage statements
|
|
11
|
93
|
September 11, 2024
|
Logical question
|
|
9
|
251
|
May 6, 2024
|
$past with gating signal assertion
|
|
9
|
282
|
March 22, 2024
|
Discrepancy on legality of the consequent
|
|
9
|
301
|
May 6, 2024
|
Stimulus problem
|
|
9
|
121
|
September 26, 2024
|
Please format your code with markdown or <code> </code> tags
|
|
9
|
25213
|
August 8, 2024
|
UVM Verification project ideas
|
|
3
|
938
|
February 25, 2024
|
UVM TB interview question
|
|
2
|
542
|
November 8, 2024
|
SV Functional Coverage
|
|
6
|
210
|
November 6, 2024
|
How to write SV assertion which checks a field in register remines unchanged after boot sequence?
|
|
3
|
253
|
April 1, 2024
|
Bit Constraints of each element in array
|
|
6
|
148
|
November 25, 2024
|
How we can use task as function and function as task?
|
|
1
|
247
|
April 3, 2024
|
3 unique arrays - constraint
|
|
1
|
394
|
April 3, 2024
|
Interview Question on UVM
|
|
4
|
544
|
April 8, 2024
|
SV Constraint :: Address must be aligned to the size of the transfer
|
|
7
|
674
|
March 14, 2024
|
Constraint for walking pattern (walking 1's)
|
|
7
|
567
|
April 19, 2024
|
Need help to generate pattern 10110111011110111110
|
|
7
|
267
|
October 13, 2024
|
Seek suggestions for following SV constraints
|
|
6
|
455
|
October 27, 2024
|
Driver Response to Sequence
|
|
7
|
593
|
March 7, 2024
|
Constraints failure
|
|
2
|
248
|
March 29, 2024
|
How to kill fork join if some of the threads ae finished
|
|
1
|
327
|
April 25, 2024
|
Synchronization of sequences
|
|
1
|
188
|
July 6, 2024
|
DUT reference model location?
|
|
2
|
299
|
April 7, 2024
|
Ignore bins with Constraints in a Cross
|
|
1
|
99
|
August 7, 2024
|
Constraint for consecutive_ones in a variable
|
|
6
|
483
|
October 27, 2024
|
Expression coverage
|
|
4
|
473
|
February 21, 2024
|
Masking of bits - constraint
|
|
1
|
234
|
June 6, 2024
|
Write a constraint that assigns data to any address sequence that follows an arithmetic progression (ex: 1,5,9,13,17.. so a[1]=30, a[5]=30, a[9]=30 and so on))
|
|
5
|
381
|
April 21, 2024
|
UART Protocol Verification code UVM
|
|
0
|
219
|
June 15, 2024
|
Write a constraint to divide values of one queue into three queues so that all 3 queues have unique values
|
|
4
|
334
|
October 7, 2024
|
System verilog, Constraint
|
|
5
|
401
|
October 27, 2024
|
Scoreboard for 2x2 router
|
|
5
|
458
|
April 2, 2024
|