|
Type v/s Size cast within with clause of sum()
|
|
5
|
133
|
July 15, 2026
|
|
Determining the bit width of operands in constraint
|
|
4
|
104
|
July 1, 2026
|
|
Queries on Randomization
|
|
1
|
73
|
June 4, 2026
|
|
Calculating probability for solve x,y before z
|
|
3
|
124
|
May 22, 2026
|
|
Suggestions for constraint on pattern occurrence
|
|
3
|
117
|
April 9, 2026
|
|
Soft constraints must be followed by an expression
|
|
7
|
149
|
March 16, 2026
|
|
Randomization of req signal in priority arbiter
|
|
7
|
203
|
March 11, 2026
|
|
Vending Machine in System Verilog
|
|
2
|
310
|
February 2, 2026
|
|
Constraint Pattern problem
|
|
5
|
268
|
January 10, 2026
|
|
SystemVerilog constraint: unique addr across array of structs without auxiliary array
|
|
3
|
164
|
January 9, 2026
|
|
Requesting clarity on constraint solving
|
|
2
|
157
|
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
|
179
|
January 5, 2026
|
|
Weighted constraints not working
|
|
3
|
127
|
January 2, 2026
|
|
System verilog constraint help
|
|
2
|
174
|
November 11, 2025
|
|
Best approach to achieve prime number via constraint
|
|
4
|
275
|
October 2, 2025
|
|
Constraint Interview Question
|
|
11
|
3242
|
September 18, 2025
|
|
HDLBits like website to practice SystemVerilog (assertions/constraints/ some riddles)?
|
|
2
|
560
|
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
|
103
|
August 29, 2025
|
|
Need help to generate pattern 10110111011110111110
|
|
12
|
828
|
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
|
1137
|
August 25, 2025
|
|
How can integer array use stream function
|
|
11
|
1145
|
August 18, 2025
|
|
Valid parentheses sequence
|
|
11
|
977
|
August 18, 2025
|
|
Constraint for 2D Array so that no two adjacent elements are same
|
|
1
|
633
|
August 16, 2025
|
|
Write a constraint to divide values of one queue into three queues so that all 3 queues have unique values
|
|
6
|
673
|
August 8, 2025
|
|
Tackling a constraint in post_randomize()
|
|
5
|
495
|
August 8, 2025
|
|
System verilog, Constraint
|
|
6
|
647
|
August 8, 2025
|
|
Randomize an array using constraints such that no number in the array repeats more than twice
|
|
11
|
2324
|
August 6, 2025
|
|
Constraining WStrb
|
|
3
|
368
|
August 6, 2025
|
|
System verilog constraint
|
|
3
|
225
|
July 19, 2025
|
|
Systemverilog : multi dimensional associative array with second dimension as string is not working within constraints
|
|
1
|
128
|
July 9, 2025
|