OVA技术在接口时序验证中的应用

• 作者: 丁婷婷 申敏
• 来源期刊: 科技与创新
• 关键词: OVA assertion 检查库 形式验证 LCD controller Sharp
• 年，卷（期）: 2008,（11）
• 所属期刊栏目: 片上系统
• 页码范围: 117-119
• 页数: 3页
• 分类号: TN407
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2008.11.048

摘要

本文主要阐述了基于断言技术并结合动态仿真,形式测试,测试激励自动化等方法的新硬件验证平台,着重介绍了OVA的特点及运用,并以LCD controller的sharp接口为实例讲解了该方法的优点.