下面哪种不属于验证覆盖率

正确选项：D 循环覆盖率。解析：验证覆盖率是衡量验证完备性的重要指标，主要包括代码覆盖率和功能覆盖率。代码覆盖率常见的有语句覆盖率、分支覆盖率、条件覆盖率、翻转覆盖率、状态机覆盖率等。其中，状态覆盖率（A）通常指状态机状态被访问到的比例；翻转覆盖率（B）指信号从0到1或1到0的跳变是否发生；条件覆盖率（C）指组合逻辑中每个输入条件取真或假时是否被覆盖。而“循环覆盖率”（D）并非验证领域标准的覆盖率类型，它通常出现在软件测试中（比如循环的边界测试），在IC验证中并未作为独立覆盖率指标。因此，不属于验证覆盖率的是循环覆盖率。