| 断言技术在SOC验证中的应用 |
| |
| 引用本文： | 丁婷婷,申敏.断言技术在SOC验证中的应用[J].山西电子技术,2007(5):3-4,27. |
| |
| 作者姓名： | 丁婷婷 申敏 |
| |
| 作者单位： | 重庆邮电大学 重庆400065 |
| |
| 基金项目： | 国家863项目（N0.2004AA001390） |
| |
| 摘 要： | 主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标,提出了OVA的特点及应用,并以LCD controller的sharp接口时序为实例讲解了该方法的优点。
|
| 关 键 词： | 检查库 OVA assertion 形式验证 LCD Sharp interface |
| 修稿时间： | 2007-05-242007-08-13 |
Application of Assertion Technology in SOC Verification |
| |
| Ding Ting-ting Shen Min.Application of Assertion Technology in SOC Verification[J].Shanxi Electronic Technology,2007(5):3-4,27. |
| |
| Authors: | Ding Ting-ting Shen Min |
| |
| Institution: | Chongqing University of Post and Telecommunication, Chongqing 400065, China |
| |
| Abstract: | 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. |
| |
| Keywords: | OVA assertion LCD Sharp interface |
| 本文献已被 CNKI 维普 等数据库收录！ |
