SV支持constraint
在验证过程中,关于约束存在的问题有:
1. where wil the constraints be placed?
2.how to do and the granularity of constraint.
就 experince而言:
约束可以放在item 和sequence中
在item约束力度要恰到好处,不能太小,因为这个约束是普适的(based on all cases);也不能太大,以防止无效或冗余的激励注入。 建议往小了做,如果能满足80%,那么其他20%可以关掉过紧的约束。
在sequnce中的约束可以根据scenario来在item的constraint的基础上generate,因为不影响other,so,自由度根据feature来定。