λ演算与微处理器形式验证

• 作者: 陈钢
• 来源期刊: 高性能计算技术
• 学科: 工学
• 关键词: λ演算 类型理论 形式验证 硬件设计
• 年，卷（期）: 2010,（2）
• 页码范围: 37-42
• 页数: 6页
• 分类号: TP305
• 语种: 中文

摘要

不断增长的集成电路复杂性迫使各芯片公司引入形式化方法进行芯片正确性验证.在这些验证工作中,以λ演算为基础的验证系统起着不可忽视的作用.本文综述了这些验证系统在微处理器形式验证中的应用情况.这个领域最有代表性的工作是近年来在剑桥大学进行的ARM处理器的验证工作.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈钢		5	0	0.0	0.0