-
公开(公告)号：CN101034417A
公开(公告)日：2007-09-12
申请号：CN200610087935.3
申请日：2006-06-07
Applicant: 富士通株式会社
CPC classification number: G06F17/5022 , G06F17/504
Abstract: 多线程可达性。在一个实施例中，用于多线程可达性分析的方法包括以下步骤：将所分析电路的状态空间划分为多个分区，并且将各个分区指配给线程以对指配给该线程的分区执行可达性分析。多个线程彼此并行地执行对所述多个分区的可达性分析。所述方法还包括以下步骤：使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态，以帮助所述多个分区中的第二分区的可达性分析。
-
公开(公告)号：CN100593169C
公开(公告)日：2010-03-03
申请号：CN200610087935.3
申请日：2006-06-07
Applicant: 富士通株式会社
CPC classification number: G06F17/5022 , G06F17/504
Abstract: 多线程可达性。在一个实施例中，用于多线程可达性分析的方法包括以下步骤：将所分析电路的状态空间划分为多个分区，并且将各个分区指配给线程以对指配给该线程的分区执行可达性分析。多个线程彼此并行地执行对所述多个分区的可达性分析。所述方法还包括以下步骤：使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态，以帮助所述多个分区中的第二分区的可达性分析。
-
Search Results
2
records
(took 0.02 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
