半形式化方法在微处理器功能验证中的应用

• 作者: 朱英 陈薇
• 来源期刊: 高性能计算技术
• 学科: 工学
• 关键词: 半形式化验证 覆盖率 约束解析 E语言
• 年，卷（期）: 2006,（3）
• 所属期刊栏目: 高性能计算热点技术
• 页码范围: 20-23
• 页数: 4页
• 分类号: TP311
• 语种: 中文

摘要

随着微处理器运算能力和控制复杂程度的飞速发展,功能验证已成为整个设计过程的主要瓶颈.新的验证方法学和验证技术在不断发展以突破这种限制,本文介绍了半形式化的验证技术,以及这项新技术在微处理器的RTL(寄存器传输级)级浮点功能验证中的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈薇		4	0	0.0	0.0
2	朱英		6	0	0.0	0.0