|
About the SystemVerilog category
|
|
0
|
1351
|
January 1, 2023
|
|
Determining the bit width of operands in constraint
|
|
1
|
4
|
June 25, 2026
|
|
[SVA Question] Signal 'b' has to toggle only once within 10cycle window of signal 'a' after 'a' is asserted
|
|
6
|
112
|
June 23, 2026
|
|
Terminology related to the formal tool
|
|
0
|
14
|
June 23, 2026
|
|
Doing some academic research on AI for chip design. Would anyone be willing to share their experience.
|
|
0
|
17
|
June 22, 2026
|
|
Understanding Array Reduction methods
|
|
10
|
94
|
June 18, 2026
|
|
Assertion not triggering for Asynchronous FIFO
|
|
1
|
28
|
June 15, 2026
|
|
Constraint 2d array using SUM operator
|
|
0
|
40
|
June 15, 2026
|
|
Constraint for memories
|
|
9
|
6577
|
June 13, 2026
|
|
Random Non overlapping Address (Memory allocator)
|
|
3
|
6438
|
June 13, 2026
|
|
Output observation for $dist_exponential
|
|
3
|
39
|
June 11, 2026
|
|
Queries on Randomization
|
|
1
|
38
|
June 4, 2026
|
|
Router scoreboard implementation
|
|
0
|
41
|
May 29, 2026
|
|
repeat vs for loop control variable
|
|
1
|
48
|
May 26, 2026
|
|
Are class object handles passed by reference when used are class method arguments?
|
|
5
|
1396
|
May 26, 2026
|
|
Advantage of $future_gclk over $past in FV
|
|
0
|
29
|
May 25, 2026
|
|
Calculating probability for solve x,y before z
|
|
3
|
67
|
May 22, 2026
|
|
Unable to use MINGW's G++ to compile C++ code with DPI-C Export.
|
|
2
|
21
|
May 18, 2026
|
|
Constraint
|
|
25
|
6588
|
May 17, 2026
|
|
Asynchronous reset assertion
|
|
14
|
8938
|
May 13, 2026
|
|
Expression bit-length and Associativity
|
|
5
|
80
|
May 11, 2026
|
|
To check that a signal toggles at least once every 20 cycles
|
|
11
|
342
|
May 6, 2026
|
|
Assertion property to check for toggle count of a signal between two control signals
|
|
12
|
1686
|
May 6, 2026
|
|
Multiple dist constraints
|
|
5
|
115
|
April 27, 2026
|
|
Stable pwrite until pready
|
|
4
|
86
|
April 24, 2026
|
|
Questions on constraint Distribution
|
|
3
|
104
|
April 22, 2026
|
|
Need help understanding formal verification of asynchronous FIFO
|
|
1
|
132
|
April 15, 2026
|
|
Size() vs $size for constraining Unpacked Arrays
|
|
4
|
76
|
April 14, 2026
|
|
Queue delete help
|
|
6
|
974
|
April 14, 2026
|
|
Suggestions for constraint on pattern occurrence
|
|
3
|
93
|
April 9, 2026
|