| 摘要 |
<P>PROBLEM TO BE SOLVED: To solve the problem wherein a fixed logic value cannot be propagated to a subsequent stage concerning a black box circuit block without logic information, while the number of processes and the processing time, which are required for verifying a circuit, are reduced by successively propagating the fixed logic value from a preceding stage circuit block to a subsequent stage circuit block since the fixed logic value is propagated to the subsequent stage when an output signal is expressed by a logical expression based on an input signal by each circuit block in circuit operation verification. Ž<P>SOLUTION: A circuit verification method propagates a fixed logic value even from a black box circuit block without logic information to a subsequent stage circuit by taking into consideration timing information. Ž<P>COPYRIGHT: (C)2010,JPO&INPIT Ž
|
