【工作随笔】验证经验、维度

news2024/11/24 6:46:49

        背景:目前负责模块的验证工作基本进展完毕,包括所有功能验证、场景覆盖、用例编写调试和仿真、功能覆盖率收集、sva检测时序等,在当前的进度上和开发、验证同时对我的工作进行了评审。

        问题:在评审中间讨论到一个当前tc实现的问题,由于当前模块的input/output信号非常的多,分别有六七十个,对应的控制信号也非常的多,并且每个控制信号都是多态的,这个导致所有的控制信号的组合是非常多的。基于以上在实现用例时,我想到了随机产生输入参数的方式,之后在附加上cov_func检测即可,正常的这套流程是没有问题的。但是,上面的这种方式会存在一个潜在的问题,就是你cov_func的覆盖点是充分的吗?下面举例来说:

        如下图,我当时验证的时候仅仅认为clk1和clk2是独立的,并且对于其clken*、fclken*都是进行了随机,通过在tc中的检测机制,是可以确保G门控的正确性的。并且cov_func中是有clken1、fclken1的交叉覆盖点和clken2、fclken2的交叉覆盖点的,所以可以通过cov_func来确保两者的全部覆盖的,即:00、01、10、11。

        通过上面的描述发现,我一开始就是将clk1、clk2当做独立的个体进行验证,并且我自己认为两者的连线是一定正确的。通过观察可以发现,clk1和clk2都是其中o_clk[*]的输出,这里很容易出现笔误,比如o_clk[2]准备将o_clk[1]复制过去之后,修改中括号中的数字即可,当时当笔误出现时,会导致clk1也连接到了clk2的位置。并且,重要的是我的检测机制是检测不出来的,并且cov_func中也没有两组之间clken*、fclken*的交叉覆盖点(这里的交叉其实是不明智的,因为共有N组,这种交叉应该是N的排列组合,肯定是实现不了的),所以一旦这里出现上述的问题,一定是验证不出来的。该种错误一般通过cov_dut也是验证不出来的。

         综上,对于这种问题的出现,问题的源头是我自己认为clk1、clk2处的连线是正确的;并且在随机场景的用例中cov_func的覆盖点也没有组与组之间的交叉覆盖点。这两点导致了验证的不完整性,一旦dut中出现上述的问题,我现阶段的的验证平台肯定是会将bug遗漏过去的。  

        解决:最终的解决方式是一个方框(图中的门控单元)的验证,并且对每个clken*、fclken*都进行全覆盖,即00、01、10、11。

        反思:最近的工作确实很多,自己也加班加点乐此不疲,但是心理确实还是有一些毛毛躁躁的感觉,并且总觉着自己能把所有的事情做好,经过今天的事情之后,深刻的认识到自己经验不足、知识匮乏的本质,还没有耐心,最重要的的是今天没有对大佬的敬畏之心,其实是自己盲目的骄傲之心而已。真的很惭愧,今天在这里啰嗦这么多,就是为了反思自己。

        不仅是知识方面,自己的心境更应该好好修炼,自己要更加稳重一些、虚心一些,要认真听别人讲完,特别是一些大佬讲的时候,一定要认真的听讲和思考,当大佬讲完,并且自己依旧觉着我目前的做法没有问题,这时候也要说出来,并且耐心的听大佬讲,毕竟是大佬的经验和解释,肯定是在我之上。对于不会或者没有听懂的地方,一定要及时询问、请教和讨论。

        建议:平时尽量多接触、多积累、多主动学习一些验证经验,这样在自己做某一些工作时,才能灵光一现的想到一些很关键的验证点。

        最后:非常感谢Y大佬二十分钟的耐心解释、讨论,在今后的学习、工作和生活中都应该更加的虚心和细心,并且要多多积累验证经验,这样才能让自己的维度更高,看待问题的方式更加全面,思考问题的维度更多更高,解决问题的速度更快。

继续加油!        

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/73860.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

五、卷积神经网络CNN7(图像卷积与反卷积)

图像卷积 首先给出一个输入输出结果那他是怎样计算的呢? 卷积的时候需要对卷积核进行 180 的旋转,同时卷积核中心与需计算的图像像素对齐,输出结构为中心对齐像素的一个新的像素值,计算例子如下:这样计算出左上角(即第…

基于Dijkstra和A算法的机器人路径规划附Matlab代码

✅作者简介:热爱科研的Matlab仿真开发者,修心和技术同步精进,matlab项目合作可私信。 🍎个人主页:Matlab科研工作室 🍊个人信条:格物致知。 更多Matlab仿真内容点击👇 智能优化算法 …

JAVA SCRIPT设计模式--行为型--设计模式之Observer观察者模式(19)

JAVA SCRIPT设计模式是本人根据GOF的设计模式写的博客记录。使用JAVA SCRIPT语言来实现主体功能,所以不可能像C,JAVA等面向对象语言一样严谨,大部分程序都附上了JAVA SCRIPT代码,代码只是实现了设计模式的主体功能,不代…

Python图像识别实战(一):实现按比例随机抽取图像移动到另一文件夹

前面我介绍了可视化的一些方法以及机器学习在预测方面的应用,分为分类问题(预测值是离散型)和回归问题(预测值是连续型)(具体见之前的文章)。 从本期开始,我将做一个关于图像识别的…

Nacos集群搭建

1、下载nacos http://t.csdn.cn/ejfu9 2、配置Nacos 进入nacos的conf目录,修改配置文件cluster.conf.example,重命名为cluster.conf: 然后添加内容: 添加的内容是你要启动的多台nacos的IP和端口 127.0.0.1:8845 127.0.0.1:8846…

如何批量注册推特账号

Twitter推特账号怎么注册?相信国内好多朋友都被推特注册卡住,不知怎么注册twitter账号,由于国内限制的问题,推特账号注册比以前更麻烦了,本文将详细讲解Twitter怎么注册,Twitter (推特)是一个广受欢迎的社交…

【C#基础学习】第十五章、结构

目录 结构 1.结构的构造函数 1.1 实例构造函数 1.2 静态构造函数 1.3 总结 2.结构体作为返回值和参数 结构 结构的定义:结构是一种可以由程序员自定义的密封的值类型。 结构与类的区别:结构与类类似,它们都有自己的数据成员和函数成员。…

Nginx篇之实现反向代理和端口转发

一、前言 在正式生产环境中,web服务器、反向代理服务器的选择大都会选择nginx,确实,在常见的高并发场景下,nginx能够支持以万为单位的并发请求量,并且服务性能稳定,应用极为广泛。 二、反向代理含义 反向代…

【LeetCode_字符串_中心扩散 】5. 最长回文子串

目录考察点第一次:2022年12月8日10:29:05解题思路代码展示:中心扩散题目描述5. 最长回文子串 给你一个字符串 s,找到 s 中最长的回文子串。 示例 1: 输入:s "babad" 输出:"bab" 解…

高通平台开发系列讲解(Camera篇)新增GC8034摄像头步骤

文章目录 一、新增配置文件二、配置摄像头三、设置效果文件四、修改设备树五、修改用户空间驱动程序沉淀、分享、成长,让自己和他人都能有所收获!😄 📢本篇章主要介绍高通平台新增摄像头步骤。 一、新增配置文件 在vendor/qcom/proprietary/common/config/device-vendor.…

一文读懂数据加密

文章目录本文前言一、可逆加密1.1 对称加密(传统加密算法)1.2 非对称加密(现代加密算法)二、不可逆加密三、 混合加密、消息摘要和数字签名四、文章最后本文前言 在计算机信息安全领域,之前软件设计师的网络安全部分了…

解决Elasticsearch Connection reset by peer异常

一、问题现象 随着ES的密集使用,线上环境,不同应用最近几天陆续有报java.io.IOException: Connection reset by peer异常,感觉不太正常。直接影响就是用户查询或者变更ES数据失败。 java.io.IOException: Connection reset by peerat org.e…

大数据:Storm集成HDFS和HBase

一、Storm集成HDFS 1.1 项目结构 1.2 项目主要依赖 项目主要依赖如下&#xff0c;有两个地方需要注意&#xff1a; 这里由于我服务器上安装的是 CDH 版本的 Hadoop&#xff0c;在导入依赖时引入的也是 CDH 版本的依赖&#xff0c;需要使用 <repository> 标签指定 CDH …

自适应且不可删除的水印蒙层

目录 canvas自适应文字长度&#xff0c;旋转角度生成水印背景图 生成蒙层 禁止蒙层的删除和修改 canvas自适应文字长度&#xff0c;旋转角度生成水印背景图 设置canvas字体大小后&#xff0c;通过ctx.measureText(text).width获取两行文字的宽度text1&#xff0c;text2&…

python-(6-5-1)爬虫---xpath解析实战

文章目录一 环境准备二 需求三 分析1 拿到页面源代码2 提取和解析数据四 步骤流程1 拿到页面源代码2 提取和解析数据五 完整代码xpath是在XML文档中搜索内容的一门语言 html是xml的一个子集 一 环境准备 安装lxml模块 二 需求 爬取某网站的数据 三 分析 1 拿到页面源代码 …

计算机领域热知识【2】消息队列与celery

Celery是实现消息队列的一个工具&#xff0c;本篇博客将介绍消息队列的基础知识&#xff0c;以及celery实现消息队列的总体方法。想要实现用Celery实现消息队列实例的朋友&#xff0c;可以从本篇博客中找到我写的另一篇介绍使用Celery和RabbitMQ实现消息队列的博客。 目录消息队…

Java+Swing+mysql天气信息管理系统

JavaSwingmysql天气信息管理系统一、系统介绍二、功能展示1.主要功能2.主页3.查询历史天气三、数据库四、其他系统一、系统介绍 该系统实现: 通过高德天气API查询天气数据 将查询的数据存入本地数据库 删除数据。 二、功能展示 1.主要功能 2.主页 3.查询历史天气 三、数据库…

Netty04——优化与源码

目录1. 优化1.1 扩展序列化算法1.2 参数调优1.2.1.CONNECT_TIMEOUT_MILLIS1.2.2.SO_BACKLOG1.2.3.ulimit -n1.2.4.TCP_NODELAY1.2.5.SO_SNDBUF & SO_RCVBUF1.2.6.ALLOCATOR1.2.7.RCVBUF_ALLOCATOR1.3 RPC 框架1.3.1.准备工作1.3.2.服务器 handler1.3.3.客户端代码第一版1.3…

C#车库信息管理系统

车库信息管理系统实现 技术 C# sqlserver 系统功能 基本的登录注册车库管理员进行车辆信息的添加&#xff0c;即给车库登记车辆信息管理员对登记信息进行修改管理员对登记信息进行删除管理员对登记信息进行查询管理员对登记的车辆进行进库&#xff0c;出库处理实时统计车库…

CS61A学习笔记 lecture1 Computer science

CS61A学习笔记 lecture1 Computer science SICP: Structure and Interpretation of Computer Programs 计算机程序的构造和解释 一开始其实是想做南大的SICP学习笔记的&#xff0c;但是没有找到南大这门课的视频&#xff0c;还有就是他是CS61A的clone&#xff0c;网上也有CS61A…