SV学习记录(一)

发布时间:2026/9/26 22:39:48

SV学习记录(一) 目录定向测试和随机测试随机化对象功能覆盖率反馈测试分层测试的三个阶段定向测试和随机测试定向测试指的是人为编写一些可以预想到的向量针对有规范的测试点进行测试随机测试指的是通过随机生成的激励来测试通常随机激励覆盖率会更高但不是所有的随机激励都是有效的当遇到无效激励/违法激励时要通过修改约束生成新的合法激励。随机化对象你应该对整个环境的配置进行随机化包括仿真的时长、设备的数量以及它们的配置方式如果一个总线事务没有完成会怎么样如果遇到一个非法的操作呢设计规范中有没有指出哪两个信号互斥要对这些情况一一尝试然后确保设备还能继续正常运作。测试行为最好能在检测到错误的代码行停下方便检索。你的测试平台应该以多快的速度发送激励呢如果输人以可能的最快速率到达而输出却被卡在一个较低的速率上该怎么办如何处理来自多个输人的激励同时到达的情况如果这些激励带有不同的时延又该怎么办如何运行测试主要注意可以通过加入多个变量来初始化种子得到新的测试激励。功能覆盖率每次要看报告判断哪些功能已经被测试过了逐渐排除最终找到尚未被测试的功能点。反馈这是一种比较少用的办法它的思想是在每次测试过后根据当前的功能覆盖率反馈给激励生成这样让它生成新的互斥激励但是这种反馈作用不大目前主要还是手动分析。测试分层它的思想是把模块分而治之每个小的测试模块只完成最简单的行为这样可以把一些重复性的比如总线写入总线读出之类的行为包装起来反复使用。测试的三个阶段建立。包括初始化环境配置复位待测设计等运行。启动环境运行测试收尾。等待设计清空最后一个进入的事务报告数据。
延伸阅读

更多相关文章

2026/9/24 21:51:07

ofd.js架构解析:浏览器端OFD文档渲染的完整实现原理

ofd.js架构解析:浏览器端OFD文档渲染的完整实现原理 【免费下载链接】ofd.js OFD板式文件html渲染方案及组件 项目地址: https://gitcode.com/gh_mirrors/of/ofd.js 在现代数字化办公环境中,OFD(Open Fixed-layout Document&#xff0…

2026/9/19 14:08:16

从Next-Token到Next-Concept:大语言模型预测范式的演进与突破

最近在折腾本地部署大语言模型时,我盯着终端里不断滚动的日志,突然意识到一个被我们长期忽略的“默认设定”。无论是用 Ollama 拉取最新模型,还是调用 OpenAI 的 API,我们都在反复接触一个词:token。我们关心上下文长度…

2026/9/26 22:35:34

告别模板丑感:wordpress导航小图标实战与保姆级建站教程

告别模板丑感:wordpress导航小图标实战与保姆级建站教程 模板网站太丑不够用?这是很多刚接触 WordPress 的站长最真实的痛点。你花了大几千买个主题,结果导航栏光秃秃的,像个没做完的半成品,客户一眼就看穿这是“套壳”站。今天这篇…

2026/9/26 22:35:34

专升本数据结构C语言核心考点:顺序表、链表与排序算法

简介:数据结构是专升本计算机类考试的重点科目,《数据结构1800例题与答案》复习资料包正是为备考专升本的考生及需要系统复习数据结构基础的学习者准备。包里共34个文件,约1.09MB,以23个htm格式的例题页面和11个doc格式的试题、答…

2026/9/26 22:35:34

IDA 7.0逆向实战:固件加载、脚本化与动态调试全解析

简介:IDA Pro 7.0是一款面向逆向工程与安全研究人员的交互式反汇编利器,广泛应用于恶意软件分析、漏洞挖掘、二进制审计与软件破解等场景。资源包约200.83MB,共1002个文件,含283个dll插件模块、174个sig签名库、107个py脚本、87个…

2026/9/26 22:35:34

Ollama 本地部署完整指南:模型目录、GGUF 导入与 AnythingLLM 接入

简介:针对Ollama本地私有化部署的安装指导小资源,适合需要在Linux/macOS环境快速完成大模型运行平台搭建的中初级开发者或运维人员。压缩包仅13KB,由3个文件构成,包括1个txt说明文档、1个sh安装脚本和1个php下载入口脚本&#xff…

2026/9/26 22:30:33

2011-2026年 省、地级市城投债信用利差数据 xlsx

1、数据介绍 本套2011-2026年省、地级市城投债信用利差跟踪数据覆盖全市场公募债与私募债样本,信用利差计算口径统一为个券估值减去同期限国开债收益率。样本筛选环节剔除剩余期限半年以内或五年以上的个券,估值采用不行权估值规则,同期限国…

2026/9/25 21:00:17

GAMP 5 基于风险的计算机化系统验证:软件分类与审计追踪实践

简介:《A Risk-Based Approach to Compliant GxP Computerized Systems》即业内熟知的GAMP 5指南,面向制药企业质量与IT合规人员、验证工程师及计算机化系统管理者,用于解决GxP法规环境下系统合规性难以科学落地的问题。文档以风险管理为主线…

2026/9/25 20:59:52

安全托管MSSP实战:从静态防御到人机协同的攻防运营与应急响应

简介:这份PPT围绕互联网业务安全托管服务展开,面向企业安全负责人、IT运维人员及关注MSSP/MSS选型的读者,重点回应传统安全过度依赖人工、碎片化静态防御难以对抗产业化攻击等痛点。资源共1个pptx文件,包体约30.63MB,以…

2026/9/26 0:04:28

画质修复APP怎么选?Wink影像修复能力与产品实力解析

现如今手机拍摄场景愈发丰富,演唱会直拍、漫展记录、老视频翻新、日常vlog录制,都会遇到画面模糊、噪点多、曝光失衡等问题,不少用户在挑选工具时比较在意一款画质修复APP能够兼顾修复效果与自然质感。Wink作为美图公司推出的全球化AI影像增强…

2026/9/26 0:04:28

超低能耗建筑K值要求能否满足?浙东铝业建筑型材解析

核心摘要浙东铝业的超低能耗系统门窗产品,资料显示保温性能可达 K≤1.4W/(㎡K),能够对应上海地区超低能耗住宅对门窗保温性能的应用需求。判断建筑是否满足超低能耗要求,不能只看铝型材本身,还需要结合玻璃、隔热条、密封系统、开…

2026/9/25 20:55:38

USB Type-C PCB布局分区设计:电源、高速信号与PD协议全攻略

做硬件这行,Type-C接口算是典型的“看着简单,做起来全坑”的东西。光引脚就24个,高低速信号、电源、控制线全部塞在一个小小的连接器里,如果PCB布局不做规划,打样回来基本就是“插上没反应”、“高速掉线”、“静电一打…

2026/9/26 19:58:38

系统编程学习原型如何补齐稳定性边界

系统编程学习原型如何补齐稳定性边界预算有限时&#xff0c;我先优化明显多余的复制&#xff0c;而不是猜测性地换容器。用借用传递只读数据通常就能减少分配&#xff1a; fn parse(line: &str) -> Result<Item, Error> { /* ... */ }用基准确认热点确实在分配&am…

2026/9/25 18:34:56

雨花区哪家财务公司代理记账比较好?

在雨花区&#xff0c;企业处理财税事务常常面临诸多挑战&#xff0c;选择一家靠谱的财务公司至关重要。湖南巨勤财务管理咨询有限公司就是本地正规实体财税服务机构&#xff0c;深耕本地工商财税行业多年&#xff0c;熟悉当地工商局、税务局最新政策与申报流程。主营公司注册、…

还想了解更多?直接咨询顾问

免费诊断 + 免费方案 + 透明报价。

全国咨询热线400-8866-253
免费获取方案
☎咨询二维码 ☎ ↑