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

• 作者: 骆丽 高秋红
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 形式验证 断言验证 混合验证 数据完整性
• 年，卷（期）: 2006,（6）
• 页码范围: 102-104
• 页数: 3页
• 分类号: TP311

摘要

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

作者信息

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