ZEKU IC 验证面经

约束块和 uvm_do_on_with 中的约束冲突了会怎样？

这题考约束随机化求解语义，回答要说明类内约束和 inline constraint 默认是逻辑与，冲突时 randomize 失败。