例1. assert_next
start_event是一个trigger,只有start_event成立,才会触发后面的sequence进行评估,等num_cks(常数)个clk后,test_expr得成立。
例2. assert_no_underflow
test_expr等于最小值后一个时钟,test_expr>=min(最小值),且小于某个极大值。例3. assert_bits
判断bit[x:x]类型的数据,第一个property是判断exp中0的个数,0的个数在(min, max)内。
第二个property是判断exp中1的个数,1的个数在(min, max)内。
例4. assert_transition
状态迁移, test_expr从start_state状态(这个状态稳定1到$个clk)然后迁移到hold_next状态。
例5. assert_not_unknown
例6. assert_mutex
例7. assert_width
例8. assert_change
例9. assert_zero_one_hot
例10. assert_window
例11. assert_always_on_edge
例12. assert_range
例13. assert_increment
例14. assert_decrement
例15. assert_odd_parity
例16. assert_code_distance
例17. assert_hold_value
例18. assert_unchange
例19. assert_never_p
test_expr will never be TRUE。