Multithreaded Reachability

摘要

In one embodiment, a method for multithreaded reachability analysis includes partitioning a state space of a circuit under analysis into a plurality of partitions and assigning each partition to a thread to carry out a reachability analysis on the partition assigned to the thread. The threads carry out the reachability analyses of the partitions in parallel with each other. The method also includes using one or more of an early communication algorithm and a partial communication algorithm to communicate states from one or more first ones of the partitions to one or more second ones of the partitions to facilitate the reachability analysis of the second ones of the partitions.