发明名称 Method for verifying the calculator core of a microprocessor or a microcontroller
摘要 A method for checking a microprocessor for correct operation, the microprocessor having a plurality of gates, each having a plurality of transistors, in which during the intended running of a computer program on the microprocessor a self-test is cyclically executed, and as part of the self-test, gates in the microprocessor are checked for correct operation. In order to check the microprocessor for correct operation in such a way that the functional check is able to detect at an early stage such errors which occur only during the intended operation of the microprocessor, and to the extent possible not to make use of models of the open-loop or closed-loop control algorithms, at least those gates of the microprocessor whose state has an impact on the intended running of the computer program on the microprocessor are checked during one run of the self-test.
申请公布号 US2005033533(A1) 申请公布日期 2005.02.10
申请号 US20040491402 申请日期 2004.09.20
申请人 MATTERN KLAUS-PETER;HERING MICHAEL;HARTER WERNER 发明人 MATTERN KLAUS-PETER;HERING MICHAEL;HARTER WERNER
分类号 G06F11/22;G06F11/263;G06F15/78;(IPC1-7):G06F19/00 主分类号 G06F11/22
代理机构 代理人
主权项
地址