| 摘要 |
<P>PROBLEM TO BE SOLVED: To automatically manage/control fundamental process control and sequence control in test execution during system verification of a logical circuit. <P>SOLUTION: A program has a means for randomly executing a test execution process and a means for managing the control and termination of the process, and has a mechanism for automatically conducting these means, in the system verification of the logical circuit. <P>COPYRIGHT: (C)2006,JPO&NCIPI |
