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

• 作者: 丁婷婷 申敏
• 来源期刊: 山西电子技术
• 学科: 工学
• 关键词: 检查库 OVA assertion 形式验证 LCD Sharp interface
• 年，卷（期）: 2007,（5）
• 所属期刊栏目: 应用实践
• 页码范围: 3-4,27
• 页数: 3页
• 分类号: TN407
• 字数: 2608字
• 语种: 中文

摘要

主要阐述了基于断言技术新硬件验证平台用于实时监测设计描述是否违反了设计目标,提出了OVA的特点及应用,并以LCD controller 的sharp接口时序为实例讲解了该方法的优点.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	丁婷婷		6	16	2.0	4.0
2	申敏		108	359	9.0	12.0