- 1、本文档共364页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
SystemVerilog芯片验证第1章导论;
课程内容
SysteVerilog验证语言
OOP(封装、派生、继承和多态)
UVM核心机制
预备知识
数字电子技术
VerilogHDL
课程资源(微信公众号:学验证)
Linux操作系统、GVim、DVTEclipse EDA工具:SynopsysVCSandVerdi
课程源代码:/onexu/sv;
芯片设计流程
典型的芯片设计流程;;
验证流程
验证流程;;;;;
test;
配置
transaction;;
SystemVerilog芯片验证
第2章测试平台和数据类型;
顶层模块top_tb;;
测试平台被测设计
加法器模块端口描述;;
测试平台测试模块
避免使用程序块;;;;;;
基本数据类型reg和wire类型
描述时序电路;;;;
类型;;;
基本数据类型常量和字符串
常量;
方法;;;;
系统任务$timeformat用来设置打印时间的格式,它的四个参数分别表示时间的单位值、精度、后缀字符串以及最小显示宽度。系统任务$time可根据当前
所在模块的时间单位返回当前的整数时间(舍去时间的小数部分),而$realtime则是返回一个完整的带小数部分的当前时间。;;;;;;;;;;;
动态数组带有常用内置方法,方法size用于计算动态数组的长度,方法delete用于释放动态数组的存储空间。定长数组没有内置的size方法,只能使用系统函数$size计算数组长度。
多维动态数组中每个子数组的长度可以不相等。;;
方法名;;;;;
0;;;;;;
方法名;;;;;;;;;
方法;;;;;;;
在包中,只有其内部定义的内容和从其他包中导入的符号可见。不能通过层次化引用包外的信号、例程或者模块。可以认为包是完全独立的,可以在任何所需位置插入包,包没有外部关联。;
SystemVerilog芯片验证
第3章结构化过程;;;;;;;;;;;;
任务和函数例程参数的引用传递
constref类型;;;;
SystemVerilog芯片验证
第4章接口;
顶层模块;;;;;;;;;;
输入偏移用于模拟建立时间,隐含为负值。测试平台在建立时间处采样响应,响应值会自动保存在时钟块变量中,然后在时钟事件处将其更新到输入时钟块信号。
默认输入偏移为#1step,#1step指定了输入信号在前一个时间片的最后时刻才被采样,此时DUT的???有输出信号都已经稳定。;
输出偏移用于模拟保持时间,隐含为正值。测试平台在时钟事件前更新
(赋值)输出时钟块信号,驱动值会自动保存在时钟块变量中,然后在保持时间处将其驱动到接口信号。
时钟块的默认输出偏移为#0。DUT的最佳驱动时间应该位于其所有输入信号都已经稳定之后。;;;;;;;;;
SystemVerilog芯片验证
第5章面向对象编程;;;;;;;;
对象、句柄和构造方法在类中使用句柄
在类中使用句柄;;;;;;
functionvoidrev(inputtransactiontr);
tr.a=~tr.a;//使用形参tr访问实参tr指向的对象endtask;;
新创建的transaction对象;;;;;;;;;;;;;;;;;;;;;;;;;;
对象复制简单对象复制;;;;
派生类对象在复制时,不但要复制自身添加的内容,还需要复制从基类继承的内容。
复制派生类对象的规则是在派生类和它的所有基类中都定义用来复制的copy方法(虚方法),每个派生类中的copy方法先调用其上一级基类的copy方法,再复制自身的内容。;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
巧克力蛋糕实物;;;;;;;;;;;;;;
svm-1.1
svm-1.2
Makefile
setting.sh;
`ifndef`define`endif
typedef;;;;;;;;;;;;;
test_simple类中的svm_component_utils宏将特殊化后的参数化代理类
svm_component_registry定义为单例类type_id。type_id中的静态代理类句柄me会在仿真开始前被初始化,即调用svm_factory::get方法。get方法会创建单例类type_id
您可能关注的文档
- 电子商务法律法规课程标准教学教案.doc
- 民航旅游运输课程标准教学教案.docx
- 商务数据分析与应用课标教学教案.docx
- AppInventor移动应用开发(第2版).pptx
- Axure RP 9互联网产品原型设计(慕课版).pptx
- MG动画设计案例教程.ppt
- 2024-2025学年小学英语六年级上册冀教版(三起)(2024)教学设计合集.docx
- 2024-2025学年小学科学五年级下册冀人版(2024)教学设计合集.docx
- 2024-2025学年小学劳动五年级上册湘人版《劳动实践指导手册》教学设计合集.docx
- 2024-2025学年高中语文必修三北师大版教学设计合集.docx
- 第十一章 电流和电路专题特训二 实物图与电路图的互画 教学设计 2024-2025学年鲁科版物理九年级上册.docx
- 人教版七年级上册信息技术6.3加工音频素材 教学设计.docx
- 5.1自然地理环境的整体性 说课教案 (1).docx
- 4.1 夯实法治基础 教学设计-2023-2024学年统编版九年级道德与法治上册.docx
- 3.1 光的色彩 颜色 电子教案 2023-2024学年苏科版为了八年级上学期.docx
- 小学体育与健康 四年级下册健康教育 教案.docx
- 2024-2025学年初中数学九年级下册北京课改版(2024)教学设计合集.docx
- 2024-2025学年初中科学七年级下册浙教版(2024)教学设计合集.docx
- 2024-2025学年小学信息技术(信息科技)六年级下册浙摄影版(2013)教学设计合集.docx
- 2024-2025学年小学美术二年级下册人美版(常锐伦、欧京海)教学设计合集.docx
最近下载
- 把握高考,精致备考——2024届语文备考策略 课件.pptx VIP
- 新生儿肺透明膜病个案.pptx VIP
- 2024年国家电网招聘之财务会计类题库附参考答案(轻巧夺冠).docx
- 2023-2024学年牛津上海版英语八年级上学期单元测试提升卷 Unit 3Trouble含详解.docx VIP
- 最新老年病的临床特征及其诊治原则PPT课件.ppt
- 2023-2024学年牛津上海版英语八年级上学期单元测试基础卷 Unit 3 Trouble含详解.docx VIP
- 2024年高考英语3500词汇朗读加例句.pdf
- 老年病的临床特征及其诊治原则课件.pptx VIP
- “双带头人”教师党支部书记工作室申报书.docx VIP
- BIM技术与应用-Revit 2023建筑与结构建模-课件全套-第1--17章BIM概述-综合案例.pptx
文档评论(0)