用户登录 首页 / 用户登录

基于OCP的IP内核的自动化形式验证
作者：:Jeroen Vliegen

急剧增加的验证复杂度与日益缩短的上市时间敦促业界寻找更加有效和自动化的验证方法。形式验证的自动化就是一种可行解决方案。利用VIP进行自动化形式协议验证能使关键IP接口得到快速详尽的验证。VIP库在编写和测试之后可用于改善验证质量并缩短验证时间。由于最后的VIP提供了一个“自由”的环境，因而还能用于简化高层系统性能的验证。

请登陆网站阅读全文>>

邮箱地址：
密码： 登录密码区分大小写
记住我的密码 忘记密码?
 
如果您已经是以下网站的注册用户，请使用您当时的注册帐号登陆

电子工程专辑旗下网站
技术文章下载专区
我是工程师

“我是工程师”第二期论坛有奖活动现已圆满结束，获奖用户已经诞生，请及时关注！

话题PK台

搜集工程师们最关心的话题，发表您的真知灼见。

奥运科技专栏
热门关键词
  •  3G
  •  HDMI
  •  MCU
  •  ADC
  •  ARM
  •  机顶盒
  •  RFID
  •  ZigBee
返回页首