Improving on OVL assertions and CTL properties , three kinds of properties are defined and verified , and the experimental results demonstrate the scheme improves the verification efficiency and scale .
通过对OVL语言和CTL描述进行改进，针对模拟验证、CDFG图匹配、模型检测3种方法设计相应的性质，实验结果表明这种分治验证策略有助于提高系统验证的效率和规模。
ovl