面向SOC设计的混合验证方法及其应用

• 作者: 骆丽 高秋红
• 来源期刊: 电脑知识与技术(学术交流)
• 学科: 工学
• 关键词: 形式验证 断言验证 混合验证 数据完整性
• 年，卷（期）: 2006,（6）
• 所属期刊栏目: 研究开发
• 页码范围: 102-104
• 页数: 3页
• 分类号: TP311
• 字数: 4941字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-3044.2006.06.054

摘要

本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法,并简要介绍其在数据完整性验证方面的应用实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	骆丽	北京交通大学电子信息工程学院	25	98	6.0	8.0
2	高秋红	北京交通大学电子信息工程学院	2	2	1.0	1.0