|
Calculating probability for solve x,y before z
|
|
4
|
15
|
May 23, 2026
|
|
Suggestions for constraint on pattern occurrence
|
|
3
|
65
|
April 9, 2026
|
|
Soft constraints must be followed by an expression
|
|
7
|
97
|
March 16, 2026
|
|
Randomization of req signal in priority arbiter
|
|
7
|
154
|
March 11, 2026
|
|
Vending Machine in System Verilog
|
|
2
|
253
|
February 2, 2026
|
|
Constraint Pattern problem
|
|
5
|
190
|
January 10, 2026
|
|
SystemVerilog constraint: unique addr across array of structs without auxiliary array
|
|
3
|
131
|
January 9, 2026
|
|
Requesting clarity on constraint solving
|
|
2
|
111
|
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
|
143
|
January 5, 2026
|
|
Weighted constraints not working
|
|
3
|
97
|
January 2, 2026
|
|
System verilog constraint help
|
|
2
|
146
|
November 11, 2025
|
|
Best approach to achieve prime number via constraint
|
|
4
|
219
|
October 2, 2025
|
|
Constraint Interview Question
|
|
11
|
3007
|
September 18, 2025
|
|
HDLBits like website to practice SystemVerilog (assertions/constraints/ some riddles)?
|
|
2
|
396
|
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
|
80
|
August 29, 2025
|
|
Need help to generate pattern 10110111011110111110
|
|
12
|
794
|
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
|
1109
|
August 25, 2025
|
|
How can integer array use stream function
|
|
11
|
1115
|
August 18, 2025
|
|
Valid parentheses sequence
|
|
11
|
919
|
August 18, 2025
|
|
Constraint for 2D Array so that no two adjacent elements are same
|
|
1
|
609
|
August 16, 2025
|
|
Write a constraint to divide values of one queue into three queues so that all 3 queues have unique values
|
|
6
|
638
|
August 8, 2025
|
|
Tackling a constraint in post_randomize()
|
|
5
|
482
|
August 8, 2025
|
|
System verilog, Constraint
|
|
6
|
621
|
August 8, 2025
|
|
Randomize an array using constraints such that no number in the array repeats more than twice
|
|
11
|
2290
|
August 6, 2025
|
|
Constraining WStrb
|
|
3
|
334
|
August 6, 2025
|
|
System verilog constraint
|
|
3
|
194
|
July 19, 2025
|
|
Systemverilog : multi dimensional associative array with second dimension as string is not working within constraints
|
|
1
|
110
|
July 9, 2025
|
|
Confusion regarding range within inside operator
|
|
3
|
181
|
June 30, 2025
|
|
Overiding the soft constraints and that variable should not get randomized further when its called to randomize
|
|
1
|
155
|
June 6, 2025
|
|
Constraints for a queue/array: Need help to understand how to implement this #3 condition
|
|
21
|
2940
|
June 3, 2025
|