|
About the SystemVerilog category
|
|
0
|
1370
|
January 1, 2023
|
|
Type v/s Size cast within with clause of sum()
|
|
5
|
57
|
July 15, 2026
|
|
is $fell(sig_a) true when sig_a from x to 0?
|
|
4
|
144
|
July 13, 2026
|
|
Sva and ai with rag rules
|
|
0
|
19
|
July 13, 2026
|
|
The question of disable
|
|
6
|
39
|
July 13, 2026
|
|
Resulting sign and bit length using Conditional Operator
|
|
4
|
46
|
July 9, 2026
|
|
The difference between a looped `fork...join_none` and a serial `fork...join_none`
|
|
5
|
45
|
July 7, 2026
|
|
Questions about the usage of Pattern Matching Conditional Statements
|
|
3
|
49
|
July 6, 2026
|
|
Determining the bit width of operands in constraint
|
|
4
|
65
|
July 1, 2026
|
|
Assignment rules for different width & sign
|
|
5
|
43
|
July 1, 2026
|
|
[SVA Question] Signal 'b' has to toggle only once within 10cycle window of signal 'a' after 'a' is asserted
|
|
7
|
157
|
June 28, 2026
|
|
Unclear scheduling semantics for a flip-flop model with assign/deassign
|
|
4
|
37
|
June 27, 2026
|
|
Doing some academic research on AI for chip design. Would anyone be willing to share their experience.
|
|
1
|
40
|
June 26, 2026
|
|
Terminology related to the formal tool
|
|
0
|
31
|
June 23, 2026
|
|
Understanding Array Reduction methods
|
|
10
|
129
|
June 18, 2026
|
|
Assertion not triggering for Asynchronous FIFO
|
|
1
|
45
|
June 15, 2026
|
|
Constraint 2d array using SUM operator
|
|
0
|
72
|
June 15, 2026
|
|
Constraint for memories
|
|
9
|
6613
|
June 13, 2026
|
|
Random Non overlapping Address (Memory allocator)
|
|
3
|
6459
|
June 13, 2026
|
|
Output observation for $dist_exponential
|
|
3
|
46
|
June 11, 2026
|
|
Queries on Randomization
|
|
1
|
46
|
June 4, 2026
|
|
Router scoreboard implementation
|
|
0
|
51
|
May 29, 2026
|
|
repeat vs for loop control variable
|
|
1
|
57
|
May 26, 2026
|
|
Are class object handles passed by reference when used are class method arguments?
|
|
5
|
1407
|
May 26, 2026
|
|
Advantage of $future_gclk over $past in FV
|
|
0
|
39
|
May 25, 2026
|
|
Calculating probability for solve x,y before z
|
|
3
|
93
|
May 22, 2026
|
|
Unable to use MINGW's G++ to compile C++ code with DPI-C Export.
|
|
1
|
25
|
May 18, 2026
|
|
Constraint
|
|
25
|
6617
|
May 17, 2026
|
|
Asynchronous reset assertion
|
|
14
|
8965
|
May 13, 2026
|
|
Expression bit-length and Associativity
|
|
5
|
91
|
May 11, 2026
|