摘要 |
PURPOSE:To make it possible to indicate a logical circuit having mistake generating possibility and the bus thereof, by pointing a logical circuit having a logical design mistake cause searching program and not satisfying a value to be taken. CONSTITUTION:As the result of test input, result informations are held on holding parts 8-0, 8-1... at every logical circuit units alpha, beta.... Subsequently, an interpreter 4 exercises a cause searching program 5. The program 5 compares an objective condition with the condition of cause tracing information satisfied by the result part of the cause searching information and actual input information and forms nodes respectively aiming at a condition subjected to OR except an actually satisfied input condition to connect the same to a present objective node. A bus having possibility generating a logical design mistake is successively displayed and determined while the above mentioned processing is repeated. By this method, a bus having mistake generating possibility can be indicated. |