-
公开(公告)号：CN1897544A
公开(公告)日：2007-01-17
申请号：CN200610094272.8
申请日：2006-06-28
Applicant: 富士通株式会社
Inventor： 贾瓦哈拉·贾殷 , 苏布拉马尼亚恩·K·耶尔 , 穆库尔·R·普拉萨德 , 托马斯·W·西德尔
CPC classification number: G06F17/504
Abstract: 使用一个或更多个网格来验证一个或更多个电路。在一个实施例中，一种用于使用一个或更多个网格来验证一个或更多个电路的方法包括：访问电路；以及生成用于对所述电路执行一个或更多个验证实例的一个或更多个种子。每一个验证实例都包括一个或更多个任务。该方法还包括：在包括多个节点的整个网格中分配所述任务和种子；以及使用所述种子，根据所述任务在网格中的节点处执行所述验证实例。
Search Results
11
records
(took 0.018 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
