|
difference b/w nexttime and ##1
|
|
1
|
77
|
October 31, 2025
|
|
Why ref bit and int doesnt Work in sampling but int andref bit Does
|
|
0
|
75
|
October 31, 2025
|
|
Paper: Understanding SVA Degeneracy
|
|
9
|
641
|
October 29, 2025
|
|
In my design, I have an assign statement like assign var = (a == b) ? 1 : 0;. During simulation, var takes both values 1 and 0 as expected, but in Questa code coverage, this statement is still shown as not covered. Why is this happening?
|
|
2
|
65
|
October 29, 2025
|
|
SVA with multiple Implication operators
|
|
0
|
75
|
October 29, 2025
|
|
Why uvm_object_registry is called as lightweight proxy?
|
|
1
|
86
|
October 28, 2025
|
|
Function inside constraint
|
|
1
|
121
|
October 28, 2025
|
|
UVM Class Hierarchy ? can any one help me by giving me the full uvm base class hierarchy structure
|
|
5
|
179
|
October 27, 2025
|
|
is $fell(sig_a) true when sig_a from x to 0?
|
|
1
|
110
|
October 27, 2025
|
|
Question regarding latch behaviour
|
|
1
|
84
|
October 27, 2025
|
|
Question on use of RAL model for System-On-Chip verification
|
|
4
|
195
|
October 24, 2025
|
|
Multiple analysis ports to single implementation
|
|
8
|
317
|
October 23, 2025
|
|
Understanding the throughout SVA
|
|
11
|
1273
|
October 20, 2025
|
|
How to properly extend a test case from different parents
|
|
2
|
180
|
October 21, 2025
|
|
How to deep copy UVM transaction containing queue of objects?
|
|
3
|
137
|
October 21, 2025
|
|
SV assertion related to req and grant
|
|
2
|
134
|
October 18, 2025
|
|
Is there an alternative to sum() Constraint
|
|
5
|
1923
|
October 19, 2025
|
|
Difference between -> and => in assertions
|
|
5
|
231
|
October 19, 2025
|
|
How to use multiple sequences to override base test
|
|
14
|
274
|
October 17, 2025
|
|
QuestaSim not loading design after restart -f
|
|
2
|
75
|
October 17, 2025
|
|
What operators constitute a multi-threaded sequence
|
|
1
|
90
|
October 16, 2025
|
|
Config db fatal isssue
|
|
1
|
117
|
October 16, 2025
|
|
Clarification on sequence execution flow UVM cookbook figure
|
|
6
|
115
|
October 16, 2025
|
|
$xm_force isnt working to force tb signals using hierarchical paths
|
|
2
|
137
|
October 16, 2025
|
|
Getting last transaction in consumer repetitively even though producer is sending all transaction
|
|
3
|
111
|
October 15, 2025
|
|
SystemVerilog reason of not putting always in program block
|
|
1
|
102
|
October 15, 2025
|
|
Excluding the already defined bins
|
|
5
|
139
|
October 12, 2025
|
|
Need clarification on static method and non static method
|
|
11
|
4377
|
October 12, 2025
|
|
Coverpoint for groups of address
|
|
1
|
71
|
October 10, 2025
|
|
Getting the virtual interface in the test class or in the agent?
|
|
1
|
88
|
October 9, 2025
|