发明名称 Method and apparatus for checking a state machine.
摘要 <p>Checking method and apparatus for monitoring the proper operation of a state machine of the type operable to produce control signals that in turn, cause other digital apparatus to produce responsive signals. Part of the checker apparatus, in effect, emulates the digital apparatus, receiving the control signals to produce therefrom emulated response signals that, when compared to the control signals, provide an indication of correct operation of the state machine means and associated circuitry.</p>
申请公布号 EP0319185(A2) 申请公布日期 1989.06.07
申请号 EP19880310991 申请日期 1988.11.21
申请人 TANDEM COMPUTERS INCORPORATED 发明人 SANNER, MARTIN W.;CHANDRA, SEEMA
分类号 G06F11/00;G06F11/30;G06F11/26;G06F11/28;G06F13/00 主分类号 G06F11/00
代理机构 代理人
主权项
地址