|
Type v/s Size cast within with clause of sum()
|
|
5
|
108
|
July 15, 2026
|
|
Determining the bit width of operands in constraint
|
|
4
|
89
|
July 1, 2026
|
|
Queries on Randomization
|
|
1
|
65
|
June 4, 2026
|
|
Calculating probability for solve x,y before z
|
|
3
|
119
|
May 22, 2026
|
|
Suggestions for constraint on pattern occurrence
|
|
3
|
108
|
April 9, 2026
|
|
Soft constraints must be followed by an expression
|
|
7
|
145
|
March 16, 2026
|
|
Randomization of req signal in priority arbiter
|
|
7
|
196
|
March 11, 2026
|
|
Vending Machine in System Verilog
|
|
2
|
305
|
February 2, 2026
|
|
Constraint Pattern problem
|
|
5
|
263
|
January 10, 2026
|
|
SystemVerilog constraint: unique addr across array of structs without auxiliary array
|
|
3
|
160
|
January 9, 2026
|
|
Requesting clarity on constraint solving
|
|
2
|
153
|
January 7, 2026
|
|
Query on generating rand 2D array with sum of set bits equal to specific value and bits must be connected to each other
|
|
4
|
171
|
January 5, 2026
|
|
Weighted constraints not working
|
|
3
|
123
|
January 2, 2026
|
|
System verilog constraint help
|
|
2
|
167
|
November 11, 2025
|
|
Best approach to achieve prime number via constraint
|
|
4
|
268
|
October 2, 2025
|
|
Constraint Interview Question
|
|
11
|
3215
|
September 18, 2025
|
|
HDLBits like website to practice SystemVerilog (assertions/constraints/ some riddles)?
|
|
2
|
538
|
September 2, 2025
|
|
I have come up with System verilog constraints for rook placement rule on an 8x8 board: rooks don’t attack each other horizontally or vertically. Any other solution possible apart from below one?
|
|
0
|
101
|
August 29, 2025
|
|
Need help to generate pattern 10110111011110111110
|
|
12
|
820
|
August 25, 2025
|
|
How to constraint a 2d matrix such that no two adjacent elements are the same Using sum() ? No two adjacent and diagonal elements should be the same
|
|
5
|
1134
|
August 25, 2025
|
|
How can integer array use stream function
|
|
11
|
1141
|
August 18, 2025
|
|
Valid parentheses sequence
|
|
11
|
967
|
August 18, 2025
|
|
Constraint for 2D Array so that no two adjacent elements are same
|
|
1
|
628
|
August 16, 2025
|
|
Write a constraint to divide values of one queue into three queues so that all 3 queues have unique values
|
|
6
|
670
|
August 8, 2025
|
|
Tackling a constraint in post_randomize()
|
|
5
|
493
|
August 8, 2025
|
|
System verilog, Constraint
|
|
6
|
642
|
August 8, 2025
|
|
Randomize an array using constraints such that no number in the array repeats more than twice
|
|
11
|
2318
|
August 6, 2025
|
|
Constraining WStrb
|
|
3
|
358
|
August 6, 2025
|
|
System verilog constraint
|
|
3
|
220
|
July 19, 2025
|
|
Systemverilog : multi dimensional associative array with second dimension as string is not working within constraints
|
|
1
|
127
|
July 9, 2025
|