期刊文献+

断言技术在SOC验证中的应用

Application of Assertion Technology in SOC Verification
下载PDF
导出
摘要 主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标,提出了OVA的特点及应用,并以LCD controller的sharp接口时序为实例讲解了该方法的优点。 The paper mainly discusses the application of an new hardware verification platform OVA (open vera assertion) based on assertion technology, which check the design code according the design object, and also discusses the application and specialty of OVA, at last it shows the advantage of it with the example of LCD controller's sharp interface.
作者 丁婷婷 申敏
机构地区 重庆邮电大学
出处 《山西电子技术》 2007年第5期3-4,27,共3页 Shanxi Electronic Technology
基金 国家863项目(NO.2004AA001390)
关键词 检查库 OVA ASSERTION 形式验证 LCD SHARP INTERFACE OVA assertion LCD Sharp interface
  • 相关文献

参考文献4

  • 1[2]Open Verification Library,Assertion Monitor Reference Manual,Synopsys.Inc.
  • 2[3]Ova_checkerlib_reference.Synopsys.Inc.
  • 3[4]Surrendra Dudani.High Level Functional Verification Closure.IEEE International Conference on Computer Design,2002.
  • 4[5]Gabe Moretti.Formal verification is ready for the limelight.EDN,2002,9,26.

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部