处理器动作检查系统及动作检查电路

摘要

一种处理器动作检查系统，该处理器动作检查系统由处理器1和对该处理器1的动作进行检查的动作检查电路2构成，在正在执行的程序从预先定义的一个状态向其他的状态转变时，处理器1将表示状态的转变的状态切换信号32输出到动作检查电路2，还将表示当前状态的状态信号33输出到动作检查电路2。动作检查电路具有：状态寄存器22，其存储处理器1的状态；组合逻辑电路21，其根据存储的处理器1的状态以及状态切换信号32来算出处理器1应当取得的新状态；以及比较电路，其对算出的处理器1应当取得的新状态与作为状态信号33而输入的处理器1的状态进行比较，检查处理器1的动作。

主权项

1.一种处理器动作检查系统，该处理器动作检查系统由处理器和检查该处理器的动作的动作检查电路构成，其特征在于，所述处理器具有：状态切换信号输出单元，其在从预先定义的一个状态向其他的状态转变时，将表示状态的转变的状态切换信号向所述动作检查电路输出；和状态输出单元，其将表示当前的状态的状态信号向所述动作检查电路输出，所述动作检查电路具有：状态切换信号输入单元，其接受所述状态切换信号的输入；状态信号输入单元，其接受所述状态信号的输入；状态存储单元，其存储所述处理器的状态；状态算出单元，其根据存储于所述状态存储单元的所述处理器的状态、和所述状态切换信号，算出所述处理器应当取得的新状态；以及检查单元，其对由所述状态算出单元算出的所述处理器应当取得的新状态、和经由所述状态信号输入单元输入的所述处理器的状态进行比较，检查所述处理器的动作。