| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a verification device of a control microcomputer which provides an advanced verification technique of control software, especially a technique for assertion based verification, and ensures higher verification efficiency than before and to provide an onboard control device. <P>SOLUTION: The assertion base verification is performed by using the verification device 102 of hardware configuration which performs parallel operation independently of a CPU core 103 of the microcomputer which executes a control program serially. This hardware is achieved by using a finite state transition machine which uses a microprogramming method. As a transition input 112, an interruption factor immediately before an interruption controller 105 of the microcomputer is branched and input. When abnormal transition is detected, a warning is output to the microcomputer 101 as an interruption 120, or signal 121 is output to outside. <P>COPYRIGHT: (C)2008,JPO&INPIT |
