首页>
外国专利>
Method, logic device and system for multi-thread reachability analysis
Method, logic device and system for multi-thread reachability analysis
展开▼
机译:多线程可达性分析的方法,逻辑装置和系统
展开▼
页面导航
摘要
著录项
相似文献
摘要
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.
展开▼