面向寄存器的流水线处理器建模及验证方法

• 作者: 何虎 孙义和
• 来源期刊: 半导体学报
• 学科: 工学
• 关键词: 面向寄存器 设计验证 流水线处理器 形式验证
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 研究论文
• 页码范围: 98-103
• 页数: 6页
• 分类号: TN431.2
• 字数: 6059字
• 语种: 中文
• DOI: 10.3321/j.issn:0253-4177.2003.01.020

摘要

提出了一种新的流水线处理器功能的验证方法,这种方法的主要思想是通过验证流水线处理器中所有寄存器的功能来验证处理器的功能.流水线处理器绝大部分是由同步电路组成的,同步电路的状态则完全由寄存器的状态决定,因此如果能够保证每个寄存器功能正确就可以保证整个同步电路功能正确.对于流水线处理器来说,寄存器状态的变迁是由处理器的原始输入和寄存器本身状态决定的.原始输入包括控制信号(如复位信号)和数据输入(如指令输入).如果把对每个寄存器的赋值操作转换成对控制信号和数据输入的操作,就可以生成一个验证序列,这个序列包括每个时钟周期控制信号和数据输入的值.有了这个序列就可以把目标设计和参考模型进行结果比较,从而验证目标设计功能是否正确.同时这种方法也便于调试.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙义和	清华大学微电子学研究所	52	284	9.0	15.0
2	何虎	清华大学微电子学研究所	40	67	3.0	5.0