System Verilog视频学习笔记（11）- Functional converage_纸上谈芯的博客-程序员秘密

技术标签： System Verilog

Functional converage（功能覆盖率）

内容来自启芯-System Verilog视频

==============================================================

目录结构：

1、验证流程

2、计算功能覆盖率

3、功能覆盖率建模

4、总结

==============================================================

本章目标：

1、定义功能覆盖结构

2、指定覆盖率采样机制

3、定义采样的信号和变量

4、定义采样值代表的功能

5、使用参数化使覆盖率实例唯一

6、使用覆盖率分配定义覆盖率结构

7、动态监测testcase

1、验证流程

图1、验证流程

验证目标何时达到？

如何切换到corner-case验证？当测试例子都到达预期目标时，设计边界用例

什么时候做直接测试？

图2、Coverage位置

图3、组合逻辑的验证例子

完备输入和输出，定义需要采样的信号

图4、功能覆盖率例子

（1）通过covergroup关键字，

coverpoint定义比特输入，比特输出

cross，交叉连接

option.goal验证目标

endgroup

（2）实例化

（3）查询结果

2、计算功能覆盖率

图5、计算覆盖率

3、功能覆盖率建模

状态和状态转移生成

图6、例子

对状态和状态转换建模。

coverage bin生成：VCS内自动生成crosscoverage bins，如cross sa;

采样：（1）指定采样事件，@([specified_edge] signals | variables)。（2）使用系统函数 cov_object.sample()更新采样比特。

控制覆盖率过程：$get_coverage()

coverage 属性：可在coveragegroup等处定义。

主要的coverage选项：

（1）at_least(1)：至少一次覆盖

（2）auto_bi_max(64)：自动生成最大数

（3）goal(100)：100%覆盖率

（4）wight(1)：coverage比特层数

（5）per_instance(0)：每个instance对覆盖率的共享率

coverage结果报告：文件转换成html、txt和仿真工具自动生成的格式

参数化coverage group：

图7:、参数化例子

通过传递参数方式定义。

4、总结

本节介绍了功能覆盖率建模过程。

covergroup

coverpoint：采样信号定义

cross：信号关系

endgroup

实例化，采样、覆盖率统计

本文链接：https://blog.csdn.net/zhouxuanyuye/article/details/71915677

原作者删帖不实内容删帖广告或垃圾文章投诉

智能推荐

阿里P7架构师的成长之路_weixin_34049032的博客-程序员秘密

前言系统架构师是近几年来在国内外迅速成长并发展良好的一个职位，它的重要性及给互联网行业所带来的影响是不言而喻的。很多程序员把成为一名优秀的架构师作为自己职业生涯奋斗的目标，但很多人努力却用不对地方，前段时间我与在阿里的P7架构师谈到了这个问题，并且整理出来，希望对在迷茫期的程序员有所帮助。1、问：阿里的技术专家P7从招聘层面上来说，比如工作年限、项目经历、技术能力等需要达到什么样的要求？答...

annaconda3安装caffe tensorflow_xiuxin121的博客-程序员秘密

caffe安装：https://blog.csdn.net/weixin_41018348/article/details/80628058//基本上按照以上配置安装，其中编译的时候会失败，这时候需要添加以下指令。export CPLUS_INCLUDE_PATH=/你的anconda路径/include/python3.5mhttp://blog.csdn.net/yhaol...

webSocket 实现聊天功能_websockethandlerregistry addhandler_小鬼妹妹编程史的博客-程序员秘密

1、WebSocket协议概述WebSocket protocol 是HTML5一种新的协议。它实现了浏览器与服务器全双工通信(full-duplex)。一开始的握手需要借助HTTP请求完成。WebSocket是真正实现了全双工通信的服务器向客户端推的互联网技术。它是一种在单个TCP连接上进行全双工通讯协议。Websocket通信协议与2011年倍IETF定为标准RFC 6455，Websocket API被W3C定为标准。2、优点：可实现浏览器与服务器全双工通信(full-duplex

第三章程序的机器级表示_S-J_Guo的博客-程序员秘密

程序的机器级表示计算机执行机器代码，用字节序列编码低级的操作，包括处理数据、管理内存、读写存储设备上的数据，以及利用网络通信。编译器基于编程语言的规则、目标机器的指令集和操作系统遵循的惯例，经过一系列的阶段生成机器代码。GCC C语言编译器以汇编代码的形式产生输出，汇编代码是机器代码的文本表示，给出程序中的每一条指令，然后GCC调用汇编器和链接器，根据汇编代码生成可执行的机器代码。当我们有高级语言编程的时候，机器屏蔽了程序的机器级的实现。而使用汇编语言编程的时候，程序员就必须制定程序用来执行计算的低级指

码农小汪剑指Offer之36-二叉树的深度层次遍历分而冶之_汪小哥的博客-程序员秘密

题目描述输入一棵二叉树，求该树的深度。从根结点到叶结点依次经过的结点（含根、叶结点）形成树的一条路径，最长路径的长度为树的深度。解题思路我已看到这个题目的时候，就想到了利用分冶的方法，利用递归的思路。我们只要找到出口，分了之后就要合并啊。和我们的归并排序有点意思哦，昨天晚上做的那个类似的思路。当前结点的Length=max(left,right)+1; 这个就是我的解题思路！其实还有思路。比如

JDK1.8新特性总结_jdk1.8 parvable_duoduo18up的博客-程序员秘密

背景：因为面试被问到了，而且一直以来想去深入了解一下JDK 1.8的新特性。才发现其实好多已经用在了项目中，自己没能察觉，所以总结一下，方便后期使用，以及加深理解。主要有几点：一.JCF 集合中：+红黑树 (详细见hashmap源码分析）-----------更快速在jdk1.8中对hashMap等map集合的数据结构优化。原来的hashMap采用的数...