2.2.10 assert_handshake ............................................................................................. 54
2.2.10.1 语法 ................................................................................................. 54
2.2.10.2 参数 ................................................................................................. 54
2.2.10.3 覆盖率模式 ..................................................................................... 55
2.2.10.4 例 ..................................................................................................... 56
2.2.10.5 基于名称的示例 ............................................................................. 58
2.2.11 assert_implication ........................................................................................... 58
2.2.11.1 语法 ................................................................................................. 58
2.2.11.2 参数 ................................................................................................. 58
2.2.11.3 覆盖率模式 ..................................................................................... 59
2.2.11.4 例 ..................................................................................................... 59
2.2.11.5 基于名称的示例 ............................................................................. 60
2.2.12 assert_increment .............................................................................................. 61
2.2.12.1 语法 ................................................................................................. 61
2.2.12.2 参数 ................................................................................................. 61
2.2.12.3 覆盖率模式 ..................................................................................... 61
2.2.12.4 例 ..................................................................................................... 62
2.2.12.5 基于名称的示例 ............................................................................. 63
2.2.13 assert_never ..................................................................................................... 63
2.2.13.1 语法 ................................................................................................. 63
2.2.13.2 参数 ................................................................................................. 64
2.2.13.3 例 ..................................................................................................... 64
2.2.13.4 基于名称的示例 ............................................................................. 65
2.2.14 assert_next ....................................................................................................... 65
2.2.14.1 语法 ................................................................................................. 65
2.2.14.2 参数 ................................................................................................. 66
2.2.14.3 覆盖率模式 ..................................................................................... 66
2.2.14.4 例 ..................................................................................................... 67
2.2.14.5 基于名称的示例 ............................................................................. 68
2.2.15 assert_no_overflow ......................................................................................... 68
2.2.15.1 语法 ................................................................................................. 69
2.2.15.2 参数 ................................................................................................. 69
2.2.15.3 覆盖率模式 ..................................................................................... 69
2.2.15.4 例 ..................................................................................................... 70
2.2.15.5 基于名称的示例 ............................................................................. 72
2.2.16 assert_no_transition ......................................................................................... 72
2.2.16.1 语法 ................................................................................................. 72
2.2.16.2 参数 ................................................................................................. 72
2.2.16.3 覆盖率模型 ..................................................................................... 73
2.2.16.4 例 ..................................................................................................... 73
2.2.16.5 基于名称的示例 ............................................................................. 74
2.2.17 assert_no_underflow ....................................................................................... 75
2.2.17.1 语法 ................................................................................................. 75
2.2.17.2 参数 ................................................................................................. 75
