This invention determines whether two logic level circuit models have equivalent functionality. The method allows difficult portions of the equivalent functionality check to be partitioned and concurrently solved in a distributed computing environment. This permits the user to use, in a scalable fashion, additional computing resources to rapidly solve difficult equivalent functionality checks. The method allows difficult checks to be solved using (1) a divide-and-conquer approach, (2) by a competitive approach in which many independent attempts are made to solve the same check, or (3) by allocating more resources to solve the difficult check.

Этот вымысел обусловливает имеют ли 2 модели цепи логики ровных соответствующую функциональность. Метод позволяет трудные части соответствующей проверки функциональности быть разделенным и одновременно разрешенным в distributed computing environment. Это позволяет потребителя использовать, в scalable способе, дополнительные вычислительные средства быстро для того чтобы разрешить трудные соответствующие проверки функциональности. Метод позволяет трудные проверки быть разрешенным использующ (1) подход к разделять-и-zavoevyvat6, (2) конкурсным подходом в котором сделаны много независимо попыток разрешить такую же проверку, или (3) путем размещать больше ресурсов для того чтобы разрешить трудную проверку.