路科验证(Rocker IC)专注于验证系统思想和前沿工程资讯,拥有一支活跃的技术原创团队,著有《芯片验证漫游指南》一书,致力为高校微电子相关专业学生与IC从业人员提供技术食粮。 您可以在手机移动端同步关注微信订阅号“路科验证”或是登录网页www.rockeric.com了解更多资讯。如果您需要联系我们,请发送邮件至 rocker.ic@vip.163.com 。

我敢说能做好验证IP的verifier是验证顾问的不二人选

上一篇 / 下一篇  2018-12-01 21:00:07 / 个人分类:验证前沿资讯

rockeric.com

这两日游庐山,一路风景秀丽,晚上落榻在一家环境不错的酒店,索性打算明天脱离队伍,在阳台吹着山风享受这山中不到30度的清凉,多读几篇DVCon2017-2018的论文,再做一点笔记,分享出来,一是补交作业,二是考虑一些可结合应用的点。


昨晚读到一篇关于对DFT测试寄存器建模的论文,写得非常好,One Stop Solution for DFT Register Modelling in UVM,来自于AMD HUANG,Rui 北京office。这也是我至今看到的不多的利用UVM寄存器模型扩展到超长位的测试寄存器模型,并且实现特殊的扫描链访问的[一站式解决方案]。尽管路桑也之前在公司内部推动DFT的UVM验证环境应用化,不过现在看来,我们与友司在测试DFT TDR(Test Data Register)的方案上已经是两套科技树了,也必须得承认我们在该方向的测试封装方案还不够完整,在可读性和复用性方面还欠佳,另外一方面,我们在测试自动化方面已经不错了。接下来,路桑觉得可以邀请该论文的作者,亲自为我们做一期对DFT TDR寄存器建模解决方案的介绍。


今天路桑又读到一篇今年同为DVCon2018-China论文评审委员会成员,Srinivasan Venkataramanan (VerifWorks Pvt Ltd. India Bangalore)的论文,Architecting “Checker IP” for AMBA protocols,关于如何实现“检查IP”的详细建议。我认为这一篇论文对于任何一家公司,如果想自己做技术储备,实现验证IP和检查IP的话,都有必要熟悉一下,做一下比较,看自己在实现验证IP和检查IP的过程中,还有哪些事项需要注意,还有哪些流程可以参考学习。还是老规矩,对这两篇论文感兴趣的都可以到路科官页资源处下载。


验证IPVIP, Verificatioin Intellectual Properties)已经在动态验证环境中无处不在了,它也可以分为两部分——一部分包括sequences,tests和configuration部分;另外一部分,它包含一个VIP的检查部分,譬如scoreboard/checker以及coverage(function & assertion)。在上面的部分中,对于形式验证(FV, Formal Verification)而言,它往往只需要VIP的检查部分(assertion properties)和部分coverage。因此,该篇论文为了区分VIP的开发,将检查部分称为了CIP(Checker IP)。也就是说,VIP中可以包含CIP,而CIP既可以为动态仿真提供checker,也可以为形式验证FV提供checker。这一篇论文就单独将CIP拿出来说事儿,讲了讲在实现CIP过程中需要注意的地方,以及一些心得体会。路桑觉得这篇文章好的地方就在于系统,在于从一家验证咨询公司开发CIP的过程提供了专业视角,为多数工程公司在实现VIP/CIP过程中也提供了一些建议。


接下来,该论文以AXI CIP开发为例,从CIP的结构,实现过程,单元测试和最终发布上都做了介绍,更多的细节请诸君在论文中去学习吧。


CIP架构


同做设计一样,在实现CIP时,也需要考虑软件结构,以AXI master/slave对应的CIP开发为例,需要注意到CIP是针对master还是针对slave。例如对于master而言,要检查的输出信号,需要作为assert类型,而这些master的输出信号对于slave而言作为输入,则变成了assume类型,即对激励加以限制。


譬如property p_vw_awburst是用来检查master AWBURST的信号行为,因此在针对AXI master一侧时,则是“assert”属性,而这些针对master的assert属性在slave一侧时,可能就变成了“assume”属性。

所以,这使得我们在开发CIP时,需要将property先声明,至于其在master和slave两侧被指明为assert或者assume又或者cover属性,需要我们区别对待。这里,需要注意一点,assume属性主要在形式验证时会被用来对激励加以限制。从下图也可以看到,对于master和slave的不同属性(asserts/assumes)所使用到property数量和类型也都不相同。从复用角度而言,我们可以将property尽量描述在同一文件,而将它们针对master或者slave的属性声明分别置于master CIP以及slave CIP。


TAG:

 

评分:0

我来说两句

显示全部

:loveliness: :handshake :victory: :funk: :time: :kiss: :call: :hug: :lol :'( :Q :L ;P :$ :P :o :@ :D :( :)

路科验证

路科验证

路科验证(Rocker IC)专注于验证系统思想和前沿工程资讯,拥有一支活跃的技术原创团队,为高校微电子相关专业学生与IC从业人员提供技术食粮。 您可以在手机移动端同步关注微信订阅号“路科验证”。如果您需要联系我们,请发送邮件至 rocker.ic@vip.163.com 。

日历

« 2018-12-13  
      1
2345678
9101112131415
16171819202122
23242526272829
3031     

数据统计

  • 访问量: 199009
  • 日志数: 268
  • 建立时间: 2016-06-25
  • 更新时间: 2018-12-09

RSS订阅

Open Toolbar
博评网