论文部分内容阅读
提出了一种新的流水线处理器功能的验证方法，这种方法的主要思想是通过验证流水线处理器中所有寄存器的功能来验证处理器的功能，流水线处理器绝大部分是由同步电路组成的，同步电路的状态则完全由寄存器的状态决定，因此如果能够保证每个寄存器功能正确就可以保证整个同步电路功能正确，对于流水线处理器来说，寄存器状态的变迁是处理器的原始输入和寄存器本身状态决定的，原始输入包括控制信号（如复位信号）和数据输入（如指令输入），如果把对每个寄存器的赋值操作转换成对控制信号和数据输入的操作，就可以生成一个验证序列，这个序列包括每个时