摘要 |
PROBLEM TO BE SOLVED: To provide a circuit verification method, a circuit verification logic, and a circuit verification system for mitigating or dissolving inconveniences, problems or both related to circuit verification. SOLUTION: The circuit verification method using a plurality of engines comprises steps of: scanning a plurality of traces on a circuit by using a plurality of reachability algorithms; selecting effective reachability algorithms regarding the circuit from the plurality of achievable algorithms according to the result comparison between the plurality of traces; generating a set in an initial state with respect to the selected effective reachability algorithms by using an achieved state in the plurality of traces; and executing the selected effective reachability algorithms by using the generated set in the initial state so as to verify the circuit. COPYRIGHT: (C)2005,JPO&NCIPI
|