集成电路技术分享

 找回密码
 我要注册

QQ登录

只需一步,快速开始

搜索
查看: 2290|回复: 3

System Verliog验证

[复制链接]
ferpurplex 发表于 2020-12-2 18:00:13 | 显示全部楼层 |阅读模式
本帖最后由 ferpurplex 于 2020-12-4 18:18 编辑

1.1验证流程
        验证的目的是什么?如果说是为了“寻找漏洞”,那也只答对了一部分。作为一个验证工程师,你的目的是确保该设备能够成功的完成预定的任务---也就是说,该设计是对规范的一种准确表达,当然你最需要知道边界在哪?
        验证的流程并行于设计流程。对于每个设计模块,设计者需要首先阅读硬件规范,解析其中的自然语言表述,然后使用RTL代码之类的机器语言创建相应的逻辑。为了完成这个过程,设计者需要知道输入格式、传输函数以及输出格式。解析过程中总会有模糊的地方,原语可能是规范文档本身的表达不清楚,遗漏了细节或者前后不一致,创建测试来检查RTL代码是否准确的实现了所有的特征。
        如果有大多人按照同一规范进行解读,南无设计流程可能会出现冗余。作为验证工程师,你的工作是阅读同样的硬件规范并对其含义做出独立的判断,然后利用测试来检查对硬的RTL代码是否与你解读的一致。

1.2 基本测试平台的功能
        测试平台的用途在于确定待测设计的正确性。包含下列步骤:
        a.产生激励。
        b.把激励施加到DUT上。
        c.捕捉响应。
        d.检验真确性。
        f. 对照整个验证目标测算进展情况。
        有些步骤是测试平台自动完成的。有些则需要手工操作。而你选择的验证方法学则决定了上述步骤如何展开。

1.3 定向测试
        当需要验证一个设计的正确性时,传统的做法可能是使用定向测试。使用这种方式,首先阅读硬件规范,然后写下验证计划,计划上列有各种测试,每个测试针对一系列相关的特性。按照这个计划,接着编写出针对待测设计具体特性的激励向量,然后使用这些向量对待测设计进行仿真。仿真结束后,手工查看一下结果文件和波形,确保设计的行为与预期的一致。一旦测试结果正确,你就可以在验证计划中把它勾掉,然后开始下一个测试。
        这种渐进的方法比较容易缺德稳步的进展,因而很受哪些喜欢看到项目持续向前推进管理者的欢迎。由于创建每个激励向量时并不需要什么基础设施,所以定向测试的结果很快得到。只要给于足够的时间和人力,定向测试对大部分设计验证来讲都是可以胜任的。
fly_zxopen 发表于 2020-12-2 18:29:19 | 显示全部楼层
                    
afei6969 发表于 2020-12-2 20:02:25 | 显示全部楼层
很强,总结的很到位
您需要登录后才可以回帖 登录 | 我要注册

本版积分规则

关闭

站长推荐上一条 /1 下一条

QQ|小黑屋|手机版|Archiver|fpga论坛|fpga设计论坛 ( 京ICP备20003123号-1 )

GMT+8, 2024-12-24 20:45 , Processed in 0.063299 second(s), 22 queries .

Powered by Discuz! X3.4

© 2001-2023 Discuz! Team.

快速回复 返回顶部 返回列表