- 1、本文档共91页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
* * 编译速度:EDA验证只需要编译成CPU可执行文件即可,速度非常快。软硬件协同验证,采用的多核处理器,把RTL解析为指令,速度较快; FPGA中编译不但要综合也要进行PR,因此编译速度很慢; 运行速度:EDA验证在设计规模很大时,只有几百HZ的速度。协同验证速度大于在2M左右,FPGA运行速度可以达到几百M, 环境搭建难度:EDA环境搭建时,采用SV语言,抽象程度高,搭建起来比较简单;协同验证中部分环境与EDA验证相同,另一部分需要进行行为级描述,耗时比EDA多;FPGA的环境搭建全部都是基于行为级,搭建难度大。 环境重用度:EDA验证和协同验证都有基于SV语言的,抽象程度高,可重用度高。 问题定位能力:EDA和协同验证都可以打印仿真信息、导出仿真波形,定位能力强;FPGA验证只能通过逻辑分析仪查看波形 成本:EDA验证只需要借助服务器就可以,协同验证需要专门的硬件平台,成本很高,几百万;FPGA验证也需要硬件,但FPGA的原型验证板相对比较便宜。 * 对于有rand的变量,才能进行随机。 Constraint起约束作弄。 在调用randomize函数时,对rand变量进行随机,随机的结果满足constraint中的约束。 * 对于src,0的权重为40,1、2、3的权重分别是60,总的权重为220. 对于dst,0的权重为40,1、2、3的权重总和为60,总的权重为100. Low和high不是随机的,data要大于等于low,小于等于high * 这个断言表示括号内的表达式在每个时钟上升沿的时候都要为1 * 如果start等于0,不进行断言检查。 如果start等于1,则在start等于1的同时,req也必须为1,经过两个时钟周期后,gnt必须等于1,且req等于0. * * bins hi[] = {[8:$]};自动生成8个bin,分别是bin[8]~bin[15]。 在使用covergroup前,必须使用new建立一个实体。 采样调用sample函数(systemverilog自带的函数) * Ca自动生成两个bin,cb自动也生成两个bin。 Cab是ca的bin个数乘以cb的bin个数,即4个。 在定义covergroups的时候,已经规定了在clk上升沿进行数据采样,因此不需要再用sample * * * * 启动验证工具 利用mentor的questasim,界面和操作类似于modelsim 环境变量source /opt/demo/questasim.env 启动命令vsim * 共91页 脚本方式完成验证 vlib dac_hcic //创建库 vlog +acc -f ../rtl/ovm_rtl/compile_questa_sv.f -work dac_hcic -sv +cover // 编译整个验证平台 vsim -c dac_hcic.top -sv_seed 100 -coverage -assertcover -assertdebug -sva -voptargs=“+acc” -pli /opt/springsoft/verdi/share/PLI/MODELSIM/LINUX/novas_fli.so //启动仿真 view assertions //查看断言 run -all //开始运行 quit -sim // 结束仿真 * 共91页 compile_questa_sv.f +incdir+/home1t/opt/questasim/questasim/verilog_src/ovm-2.1.2/src /home1t/opt/questasim/questasim/verilog_src/ovm-2.1.2/src/ovm_pkg.sv +incdir+/home/liuxp/dac/rtl/ovm_rtl +incdir+/home/liuxp/dac/rtl/dac_balise/dac_haf_cic /home/liuxp/dac/rtl/ovm_rtl/ovm_start.sv * 共91页 结果查看 断言结果查看 代码覆盖率查看 * 共91页 断言结果查看—Questasim下 * 共91页 代码断言结果查看—Verdi下 Verdi(另外一个软件,专门用作波形查看和调 试)下查看断言结果更加直观,箭头朝上就表示 断言通过,朝下表示断言失败。 * 共91页 代码覆盖率查看 * 共91页 代码覆盖率查看 * 共91页 动态时序仿真:利用仿真器(Modelsim)和延迟文件(SDF文件),通过反标节点延迟信息来仿真。 需要的文件: 1.布局布线完的网表文件 2.布局布线后生成的SDF文件 3.标准单元库和IO库的Verilog模型文件 4.Testb
您可能关注的文档
- 风力发电行业概况教案.doc
- 第四章资格条件要求和应当提供的证明材料.doc
- 了解莫尔法佛尔哈德法以及吸附指示剂的特点。3熟悉.ppt
- 市场之门,从此开启(副本).ppt
- 纳税评估流程及管理.ppt
- 低碳社区试点建设指南要领.doc
- 1世纪的绿色技术-光催化应用.doc
- 下面素材图片主要是网上下载,可以根据这方面设计,您有.ppt
- 第四章茅以升学院土木拔尖班土木工程专业本科生培养计划.doc
- 薪酬和绩效管理体系方案.ppt
- 四川省德阳市罗江中学2025届高三考前热身化学试卷含解析.doc
- 山东省枣庄现代实验学校2025届高三下学期第五次调研考试化学试题含解析.doc
- 吉林省长春市十一高中等九校教育联盟2025届高三一诊考试生物试卷含解析.doc
- 2025届江苏省盐城市伍佑中学高考仿真模拟化学试卷含解析.doc
- 2025届广西贺州中学高考冲刺押题(最后一卷)生物试卷含解析.doc
- 安徽省池州市贵池区2025届高三第一次模拟考试生物试卷含解析.doc
- 宁夏银川一中2025届高三(最后冲刺)化学试卷含解析.doc
- 广东省广州市增城区四校联考2025届高考压轴卷化学试卷含解析.doc
- 2025届邯郸市第一中学高考生物必刷试卷含解析.doc
- 2025届安徽省安庆市石化第一中学高考仿真卷化学试卷含解析.doc
最近下载
- CNAS-TRL-017:2021《电煤检测领域实验室认可技术指南》.pdf
- 初中物理《声现象》.ppt VIP
- 大数据时代的人工智能.pptx VIP
- 小学六年级家长会优秀PPT课件.ppt
- 樊登老师推荐:《你就是孩子最好的玩具》(完整版).pdf
- 凯迪克金奖原版绘本Sylvester and the Magic Pebble.pdf
- 外廓尺寸检测系统作业指导书.docx
- 初中教科研课题:《初中语文主题阅读教学的实践探究》子课题结题报告 .pdf
- 最新2023版知识产权贯标GBT29490表单 知识产权目标策划管理方案[知识产权合规管理体系文件].docx
- (2024版)AOPA无人机驾驶证认证考试题库-上部分(500题)(含答案).pdf VIP
文档评论(0)