摘要 |
<p>The present invention offers an advanced control software verification technology, particularly, an assertion-based verification technology, by providing a control microcomputer verification device and vehicle-mounted control device that exhibit improved verification efficiency. Assertion-based verification is performed with a verification device (102) that has a hardware configuration in which the verification device (102) is independent of a CPU core (103) of a microcomputer (101) but operates in parallel with the CPU core (103) of the microcomputer (101), which sequentially executes control software. The hardware to be employed to achieve the above purpose is a finite state machine based on microprogrammed control. An interrupt factor (701) is branched immediately before an interrupt controller (105) for the microcomputer (101) and used as a transition input. When an abnormal transition is detected, a warning is output to the microcomputer (101) as an interrupt or output to the outside in the form of a signal.</p> |