发明名称 |
多线程可达性 |
摘要 |
多线程可达性。在一个实施例中,用于多线程可达性分析的方法包括以下步骤:将所分析电路的状态空间划分为多个分区,并且将各个分区指配给线程以对指配给该线程的分区执行可达性分析。多个线程彼此并行地执行对所述多个分区的可达性分析。所述方法还包括以下步骤:使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态,以帮助所述多个分区中的第二分区的可达性分析。 |
申请公布号 |
CN101034417A |
申请公布日期 |
2007.09.12 |
申请号 |
CN200610087935.3 |
申请日期 |
2006.06.07 |
申请人 |
富士通株式会社 |
发明人 |
贾瓦哈拉·贾殷;德巴西斯·萨胡 |
分类号 |
G06F17/50(2006.01);G06F9/46(2006.01) |
主分类号 |
G06F17/50(2006.01) |
代理机构 |
北京三友知识产权代理有限公司 |
代理人 |
李辉 |
主权项 |
1、一种用于多线程可达性分析的方法,所述方法包括以下步骤:将所分析电路的状态空间划分为多个分区;将各个分区指配给线程,以对指配给该线程的分区执行可达性分析,多个线程彼此并行地执行对所述多个分区的可达性分析;以及使用一个或更多个早期通信算法和局部通信算法来从所述多个分区中的一个或更多个第一分区向所述多个分区中的一个或更多个第二分区传送状态,以帮助所述多个分区中的第二分区的可达性分析。 |
地址 |
日本神奈川县川崎市 |