会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 2. 发明授权
    • Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures
    • 使用分布式计算和一个或多个分区数据结构确定电路中的一个或多个可达状态
    • US07216312B2
    • 2007-05-08
    • US10704234
    • 2003-11-07
    • Jawahar JainAmit NarayanYoshihisa KojimaTakaya OgawaSubramanian K. IyerDebashis Sahoo
    • Jawahar JainAmit NarayanYoshihisa KojimaTakaya OgawaSubramanian K. IyerDebashis Sahoo
    • G06F17/50
    • G06F17/504
    • In one embodiment, a method for determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures includes, at a first one of multiple computing systems, receiving a first partition of a circuit. The first partition corresponds to a first binary decision diagram (BDD) having a first density. The method includes performing a first reachability analysis on the first partition using the first BDD until a fixed point in the first partition has been reached and, if, during the first reachability analysis, the size of the first BDD exceeds a threshold, discarding the first BDD. The method includes communicating with at least one second one of the multiple computing systems. The second one of the multiple computing systems has received a second partition of the circuit. The second one of the multiple computing systems has performed a second reachability analysis on the second BDD without discarding the second BDD.
    • 在一个实施例中,用于使用分布式计算和一个或多个分区数据结构来确定电路中的一个或多个可达状态的方法包括在多个计算系统中的第一个处接收电路的第一分区。 第一分区对应于具有第一密度的第一二进制决策图(BDD)。 该方法包括使用第一BDD对第一分区执行第一可达性分析,直到达到第一分区中的固定点,并且如果在第一可达性分析期间第一BDD的大小超过阈值,则丢弃第一 BDD。 该方法包括与多个计算系统中的至少一个第二个通信。 多个计算系统中的第二个已经接收到电路的第二分区。 多个计算系统中的第二个对第二BDD进行了第二次可达性分析,而不丢弃第二个BDD。