| 摘要 |
<P>PROBLEM TO BE SOLVED: To provide a method for statically analyzing a verification tool kit environment. <P>SOLUTION: A method may include a step of discriminating, based on analysis of a verification tool kit environment, plural calculation threads each of which mutually shares no data structure. The method may further include a step of calculating a calculation environment requirement of the calculation thread. The method may further include a step of distributing a thread(s) among plural resources so that an overall calculation requirement of the calculation threads is substantially evenly balanced among the plural resources. <P>COPYRIGHT: (C)2012,JPO&INPIT |
