Local variable initialization within SVA
|
|
1
|
88
|
April 2, 2024
|
Iterate through dynamic associative array, to store address-memory_data information
|
|
3
|
90
|
March 29, 2024
|
SVA: check signal remains asserted for exactly one cycle?
|
|
0
|
74
|
April 1, 2024
|
Constraint an array to have at least n pairs of consecutive x values
|
|
3
|
445
|
March 31, 2024
|
How to build a reference model for uvm_scoreboard which perform multi-stage calculation
|
|
0
|
79
|
March 30, 2024
|
Regarding clock inheritance for sequence methods and event control
|
|
11
|
124
|
March 29, 2024
|
Evaluation of deferred assertions
|
|
4
|
74
|
March 28, 2024
|
Submatrix Constraint Question
|
|
3
|
141
|
March 28, 2024
|
"Undefined module: <interface> was used. Port connection rules will not be checked at such instantiations."
|
|
2
|
59
|
March 27, 2024
|
Question on Assertions
|
|
4
|
535
|
March 26, 2024
|
Using $monitor within for loop
|
|
2
|
65
|
March 26, 2024
|
Round robin assertion
|
|
9
|
9632
|
March 26, 2024
|
Looping construct inside a constraint
|
|
4
|
13979
|
March 23, 2024
|
Seek suggestions for following SV constraints
|
|
3
|
118
|
March 23, 2024
|
Is there a way to declare an enum variable for the process state?
|
|
3
|
59
|
March 22, 2024
|
$past with gating signal assertion
|
|
9
|
88
|
March 22, 2024
|
$Countones in a 2 dimensional array
|
|
3
|
163
|
March 22, 2024
|
System verilog distribution constraint
|
|
4
|
121
|
March 21, 2024
|
SV Constraint Question - Keeping 1s together
|
|
1
|
170
|
March 20, 2024
|
Do Constraints behave as virtual
|
|
4
|
1658
|
March 20, 2024
|
Deep copy in System Verilog
|
|
1
|
107
|
March 20, 2024
|
Ethernet 802.3 Inter Frame Gap
|
|
0
|
59
|
March 20, 2024
|
Constraining address generation for each block of memory in cyclic order
|
|
2
|
112
|
March 18, 2024
|
Can we use internal signal of DUT while writing the assertion property
|
|
5
|
1943
|
March 18, 2024
|
SV Constraint :: Address must be aligned to the size of the transfer
|
|
7
|
206
|
March 14, 2024
|
TIC TAC TOE Snapshot generation using SystemVerilog constraints
|
|
7
|
4725
|
January 13, 2019
|
Systemverilog events scheduler for non blocking assignment
|
|
1
|
102
|
March 12, 2024
|
Getting Transition Bins for a N bit Counter
|
|
1
|
103
|
March 12, 2024
|
Strong and #-# of SVA
|
|
7
|
247
|
March 12, 2024
|
Question on associative arrays
|
|
1
|
118
|
March 10, 2024
|