协同形式验证环境Co-Formal的建立与应用

• 作者: 林争辉 王彬
• 来源期刊: 上海交通大学学报
• 学科: 工学
• 关键词: 协同形式验证环境 模型检查 片上系统
• 年，卷（期）: 2003,（z1）
• 所属期刊栏目: 无线电电子学、电信技术
• 页码范围: 143-146,151
• 页数: 5页
• 分类号: TN407
• 字数: 2918字
• 语种: 中文
• DOI: 10.3321/j.issn:1006-2467.2003.z1.035

摘要

形式验证存在状态爆炸的问题,特别是软硬件的协同验证难以解决.为此研究了片上系统的协同形式验证问题,给出了一种高效的协同形式验证环境Co-Formal,用于从行为级到具体实现级的软硬件协同形式验证.以一个实际的硬件系统验证了该环境的可用性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林争辉	上海交通大学电子工程系	116	603	12.0	20.0
2	王彬	上海交通大学电子工程系	27	88	6.0	7.0