推荐答案
测试一下
题目
What types of coverage are there in verification?
A. RTL
B. Register
C. Function
D. Branch
参考答案与知识点
参考答案
正确选项为 C、D、E、F、G、H。IC验证中的覆盖率主要分为代码覆盖率和功能覆盖率。代码覆盖率包括行覆盖率(Line)衡量代码行是否被执行;分支覆盖率(Branch)衡量条件分支是否被覆盖;条件覆盖率(Condition)衡量布尔表达式中的各条件是否取到所有可能值;状态机覆盖率(FSM)衡量状态机状态及转移是否被遍历;翻转覆盖率(Toggle)衡量信号值是否发生0→1或1→0的翻转。功能覆盖率(Function)则为用户自定义的覆盖率,用于验证设计的功能场景是否被充分执行。选项A的RTL不是独立的覆盖率类型,而是被覆盖的对象,通常归类为代码覆盖。选项B的Register覆盖虽然有时在验证中关注(如寄存器读写覆盖),但并非业界公认的标准覆盖率类型,一般不列入此类题目中。因此,除A和B外,其余选项均属于验证中常见的覆盖率类型。
涉及知识点
- 代码覆盖率分类
- 功能覆盖率概念
- 行覆盖与分支覆盖
- 条件与翻转覆盖
- 状态机覆盖率
- 覆盖率与验证完备性