| 摘要 |
PROBLEM TO BE SOLVED: To prevent the generation of misverification in the case of verifying a logical circuit by forming a part of the circuit as a black box. SOLUTION: When a circuit part obtained by dividing a logical circuit to be verified by a circuit division part 1 is formed as a block box, a condition between output signals from the black box is found out by a condition setting part 2 and a verification part 3 for verifying a circuit to be divided into a black box and the condition is stored in a conditional expression storage part 4. A circuit verification part 6 for verifying the operation of the circuit whose black box is to be verified executes the verification while considering of the condition between the outputs of the black box which is stored in the storage part 4. Consequently misverification to be generated due to no consideration of the condition between the outputs of the black box can be evaded.
|
