(3)ovl_never ovl_never断言checker在每个时钟有效沿检查单比特表达式test_expr保证该表达式永远为假。(4...
ovl_implication断言checker在每个时钟有效沿检查单比特表达式antecedent_expr。如果antecedent_expr为真,checker就验证consequent_expr的值也为真。如果antecedent_expr为假,无论consequent_expr的值是多少,断言都有效。 (3)ovl_never ovl_never断言checker在每个时钟有效沿检查单比特表达式test_expr保证该表达式永远为假。(...