|
Weighted constraints not working
|
|
3
|
128
|
January 2, 2026
|
|
Assertion calculation after reset
|
|
0
|
74
|
January 2, 2026
|
|
Sequence which admits : No match v/s Hard Zero
|
|
8
|
475
|
December 27, 2023
|
|
System verilog Assertion
|
|
4
|
193
|
January 1, 2026
|
|
Requesting clarity on intermediate signals in the sequences
|
|
2
|
87
|
January 1, 2026
|
|
Difference between below 2 sequences?
|
|
1
|
95
|
December 31, 2025
|
|
Semaphore put method question
|
|
5
|
495
|
December 28, 2025
|
|
Deleting elements returned via Array locator methods
|
|
1
|
97
|
December 28, 2025
|
|
Time does not strictly flow forward
|
|
3
|
124
|
December 27, 2025
|
|
Execution of action block in Abort properties (reject_on / accept_on)
|
|
3
|
144
|
December 27, 2025
|
|
Displaying associative array elements in Specific order
|
|
2
|
106
|
December 18, 2025
|
|
SVA to check a N-stage synchronizer output
|
|
9
|
157
|
December 18, 2025
|
|
Iterator index querying example clarification
|
|
4
|
102
|
December 14, 2025
|
|
Is it possible to use function in assertion but variable widths of the function variables are parameters?
|
|
1
|
100
|
December 12, 2025
|
|
Connection using modports with different signals
|
|
6
|
110
|
December 12, 2025
|
|
AXI, Out of order
|
|
3
|
733
|
December 10, 2025
|
|
Restrictions on fork join_any / join_none
|
|
1
|
177
|
December 10, 2025
|
|
How statements connect to the event scheduler, race condition time
|
|
1
|
81
|
December 9, 2025
|
|
Integer dynamic array sum constraint not working
|
|
5
|
218
|
December 9, 2025
|
|
Difference between always and always_comb
|
|
3
|
873
|
December 8, 2025
|
|
Deep copy using shallow copy
|
|
1
|
121
|
December 6, 2025
|
|
Once a certain sequence occurs that another seq shouldn't occur till simulation ends
|
|
8
|
714
|
December 4, 2025
|
|
SV Constraint Challenge
|
|
13
|
394
|
December 4, 2025
|
|
Adding and deleting elements of dynamic type at same time
|
|
2
|
127
|
November 29, 2025
|
|
Force a bunch of internal signals when there another particular signal goes high
|
|
2
|
78
|
November 27, 2025
|
|
SVA sequence re-triggers on multiple $fell events – rise_t not updating
|
|
1
|
78
|
November 19, 2025
|
|
Continuous assignment between two inout
|
|
3
|
80
|
November 19, 2025
|
|
Redefine a SV interface port direction in a modport
|
|
2
|
103
|
November 19, 2025
|
|
Resume simulation when any 2 threads out of 3 get completed within fork-join_any
|
|
9
|
4356
|
November 12, 2025
|
|
Verifying synchronours fifo
|
|
3
|
180
|
November 11, 2025
|