Consider the following SystemVerilog snipped
constraint c1 { a inside {[10:20]}; }
constraint c2 { soft a == 5; }What value will a take when randomize() is called?
Answer: C
Explanation: SystemVerilog "soft" constraints are ignored if they conflict with a hard constraint. Since c1 is a hard constraint (10-20) and c2 (5) contradicts it, the solver discards c2 and picks a value satisfying c1.