|
SV Constraint Challenge
|
|
13
|
306
|
December 4, 2025
|
|
Need suggestions for fork join_any
|
|
19
|
305
|
August 17, 2025
|
|
How to use multiple sequences to override base test
|
|
14
|
224
|
October 17, 2025
|
|
Code for handling asynchronous reset in uvm driver
|
|
12
|
167
|
July 15, 2025
|
|
Binding a module to another module's modport interface
|
|
13
|
260
|
April 2, 2025
|
|
c-uvm synchronization without DPI
|
|
15
|
227
|
August 26, 2025
|
|
Please format your code with markdown tags
|
|
13
|
25833
|
March 26, 2025
|
|
I want to write a constraint such that in 26 bit address I get the consecutive 4bits with patter 1011 70% of the time and 30 % of the time we don't care
|
|
9
|
167
|
July 22, 2025
|
|
Multiclock assertion
|
|
9
|
196
|
April 16, 2025
|
|
Fork join question if we need to disable fork in some condition
|
|
10
|
137
|
June 30, 2025
|
|
Faulty data from DUT
|
|
10
|
135
|
February 20, 2025
|
|
Wait_for_state() in a static module doesn't work as expected
|
|
10
|
145
|
November 16, 2025
|
|
Uvm reg block override using factory override
|
|
9
|
123
|
September 12, 2025
|
|
Hierarchical reference from package not allowed
|
|
9
|
190
|
May 11, 2025
|
|
SVA to check a N-stage synchronizer output
|
|
9
|
92
|
December 18, 2025
|
|
Constraint Pattern problem
|
|
5
|
121
|
January 10, 2026
|
|
UVM vs COCO TB for Verification
|
|
7
|
414
|
August 14, 2025
|
|
Can anyone help to write assertion for 200MHz clk check?
|
|
3
|
277
|
June 14, 2025
|
|
[Interview Question] Writing a monitor for a given scenario below
|
|
6
|
452
|
December 6, 2025
|
|
UVM scoreboard interview question
|
|
3
|
494
|
March 16, 2025
|
|
Pattern Detector 10110 in SV (no FSM)
|
|
1
|
430
|
February 19, 2025
|
|
Calculate onehot bins for coverpoint
|
|
1
|
209
|
May 19, 2025
|
|
To check that a signal toggles at least once every 20 cycles
|
|
8
|
251
|
June 9, 2025
|
|
Integer dynamic array sum constraint not working
|
|
5
|
181
|
December 9, 2025
|
|
Sum() in constraint
|
|
7
|
150
|
July 7, 2025
|
|
Fork join none/any?
|
|
8
|
211
|
July 1, 2025
|
|
Constraint for 101 pattern
|
|
6
|
259
|
May 13, 2025
|
|
Infinite delay assertion
|
|
7
|
167
|
July 2, 2025
|
|
High level Testbench Architecture for 2-input 2-output crossbar
|
|
0
|
112
|
March 7, 2025
|
|
Maxiumum hit for a bin
|
|
3
|
157
|
May 19, 2025
|
|
Constraining WStrb
|
|
3
|
305
|
August 6, 2025
|
|
Develop 5 threads by using threads concept and make sure if any of 3 threads are completed out of 5 threads then kill other 2 threads
|
|
5
|
290
|
March 18, 2025
|
|
UVM Simulation is not ending
|
|
7
|
245
|
June 6, 2025
|
|
Testplan ( Verification Plan) for any of the design?
|
|
2
|
283
|
August 24, 2025
|
|
Understanding the working of Embedded Concurrent Assertions
|
|
8
|
184
|
September 8, 2025
|
|
Assertion coding for a random pattern
|
|
5
|
201
|
March 1, 2025
|
|
First Step in Design Verification
|
|
2
|
209
|
May 27, 2025
|
|
System verilog constraint
|
|
3
|
168
|
July 19, 2025
|
|
Assertion to check the following waveform
|
|
5
|
157
|
September 9, 2025
|
|
Column sum constraint for an 2D array
|
|
5
|
253
|
March 8, 2025
|
|
Question regarding followed by operator in SVA (#-# and #=#
|
|
0
|
62
|
November 11, 2025
|
|
Can anyone suggest how to write following assertion
|
|
5
|
203
|
February 22, 2025
|
|
Sending txns in specific order b/w multiple interfaces
|
|
8
|
182
|
February 15, 2025
|
|
Waiting for Responses for all Outstanding transactions
|
|
4
|
167
|
July 24, 2025
|
|
New book: Fast-Tracking SVA through Exposure
|
|
3
|
239
|
June 20, 2025
|
|
Uvm_config_db from bottom to top
|
|
3
|
115
|
May 26, 2025
|
|
How to Ignore multiple bins in the function coverage using binsof & intersect?
|
|
2
|
70
|
May 8, 2025
|
|
Use fork join_none inside loop with behaviour of fork join
|
|
5
|
127
|
March 11, 2025
|
|
Functional Coverage as Toggle Coverage
|
|
3
|
263
|
February 17, 2025
|
|
Multiple analysis ports to single implementation
|
|
8
|
217
|
October 23, 2025
|