Count legal tuples first, then reason about bias: implication and if/else are declarative relations solved together, and branch cardinality drives observed probabilities.
1. Implication vs Partitioned Branches [Medium]
2. Bidirectional Solving of x+y==10 [Easy]
3. if-else with Overlap on One Value [Easy]
4. randc Cycle with a Skipped Value [Medium]
5. Width Wrap in a Sum Constraint [Hard]
6. Array Size Coupled to Content [Medium]Work each puzzle before reading the solution: predict the exact output or answer, name the rule that governs it, then check yourself.
CONSTRAINT SOLVE ORDER
rand bit [3:0] burst_len;
rand bit [7:0] addr;
constraints:
burst_len inside {[1:8]};
addr % burst_len == 0;
solve burst_len before addr;
solver picks burst_len first
then chooses addr satisfying alignment
Explicit solve order reduces ambiguity in interview puzzles.