[发明专利]多线程可达性有效
| 申请号： | 200610087935.3 | 申请日： | 2006-06-07 |
| 公开（公告）号： | CN101034417A | 公开（公告）日： | 2007-09-12 |
| 发明（设计）人： | 贾瓦哈拉·贾殷;德巴西斯·萨胡 | 申请（专利权）人： | 富士通株式会社 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50;G06F9/46 |
| 代理公司： | 北京三友知识产权代理有限公司 | 代理人： | 李辉 |
| 地址： | 日本神奈*** | 国省代码： | 日本;JP |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 多线程可达性。在一个实施例中，用于多线程可达性分析的方法包括以下步骤：将所分析电路的状态空间划分为多个分区，并且将各个分区指配给线程以对指配给该线程的分区执行可达性分析。多个线程彼此并行地执行对所述多个分区的可达性分析。所述方法还包括以下步骤：使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态，以帮助所述多个分区中的第二分区的可达性分析。 | ||
| 搜索关键词： | 多线程 可达性 | ||
【主权项】：
1、一种用于多线程可达性分析的方法，所述方法包括以下步骤：将所分析电路的状态空间划分为多个分区；将各个分区指配给线程，以对指配给该线程的分区执行可达性分析，多个线程彼此并行地执行对所述多个分区的可达性分析；以及使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态，以帮助所述多个分区中的第二分区的可达性分析。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于富士通株式会社，未经富士通株式会社许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/200610087935.3/，转载请声明来源钻瓜专利网。
