最优电路检测方法技术

一种全面、最优电路核查方法，用于单路输出的数字组合开关电路的门设计的核查。此方法在对于时间和空间资源的使用上是最优的，在对问题的规范表示法中使用了一种描述电路的数据结构的变换。此方法涉及的主要的技术领域是电路设计。在电子工程、计算机科学、遗传学、物理学和数学等不同的领域应用的几种技术可以容易的变换成这种对问题的表示法。称这种变换简单是因为他们除了这种方法本身以外，不需要更多的资源。二元决策图表、自动检测模式生成、组合等值检查、超级标量处理器检定、现场可编程门阵列路由选择、噪音分析、最佳存储和检索、计算机语言的编译等正是一些上述的领域和技术。（*该技术在2021年保护过期，可自由使用*）

【技术实现步骤摘要】

一种全面的最优电路核查方法，用于单路输出数字组合开关电路门设计的核查，它在对于时间和空间资源(resources of spaceand time)的使用上是最优的。此方法在对问题的规范表示法中使用了一种描述电路的数据结构的变换。它使用了步骤序列以保证方法的最优使用。与此方法相关的主要的
是电路设计。在电子工程、计算机科学、遗传学、物理学和数学等不同的领域应用的几种技术可以容易的变换成为这种对问题的描述。称这种变换简单是因为他们除了这种方法本身以外，不需要更多的资源。二元决策图表(BDD)、自动检测模式生成(ATPG)、组合等值检查(CEC)、超级标量处理器检定、现场可编程门阵列(FPGA)路由选择、噪音分析、最优存储和检索、计算机语言的编译等正是一些上述的领域和技术。
技术介绍
长时间以来，对此问题一直没有令人满意的解答。众所周知，在一些文献里，对单路输出开关电路的组合核查问题是一个非多项式(NP)完全类问题。所有这些问题的表示法都可以通过使用空间和时间的多项式资源变换成另外的表示法。这个问题规范形式的表示法是适定性(SAT)问题，更多的是一般k-适定性(k-SAT)问题。长期以来，人们认为通过使用多项式资源不可能解决适定性(SAT)问题。普通的解决方案的基本原理是问题会受到本身权重的影响。但实际是如果检查所有的可能性，资源就会成指数级增长。只有明显能完全的方案，才会实际地去检查每一种可能性，让我们计算而不去核查。让我们写“10”而不是“I I I I I I I I I I”。否则，就会像核查一样了。
技术实现思路
对于这个特殊的问题，方法中的算法就是方法本身，因为采用算法处理的数据结构表述的是物理的、实际的、和技术的数据电路。所以，“algorithm(算法)”和“method(方法)”使用起来没有差别。对于在任何电路的适定性(satisfiability)情况下，使用多项式资源(polynomial resources)描述电路的数据结构可以被变换成适定性(SAT)问题的规范格式。所以算法的第一步就是把表述单路输出的组合开关电路的数据变换成为k-适定性(k-SAT)问题。然后，执行下面的从现在起叫做PSAT()的算法。在余下的描述中，将用到中的术语学和定义。可以通过选择使用一些在中提到的几种技术中的一些详细精确的技术整理出PSAT()。在的第73页第3章中提到“通常，归类操作在计算上是花费很大的”，参考维护子句数据库的可能技术。在的结尾，对于没有归类操作的方法的复杂度的分析，可以得出时间复杂度的指数。但是，如PSAT()所示，归类操作的花费并不是很大。对于资源的多项式的使用，主要需要两种技术。其中一个是冲突控制回退(CDB，conflict-directed backtracking)。也就是，具有布尔约束传播(BCP，Boolean Constraint Propagation)的无时顺的回退，具有多重冲突分析(MC，Multiple Conflict Analysis)的基础冲突分析和唯一蕴含点(UIPs，Unique Implication Points)。第二个技术是对冲突关联的归类子句的数据库的记录(的第57、68、69、73、86、88和93页)。具体实施例方式通过下面的过程详细说明算法PSAT()的表示法●GRASP()●Search()●Deduce_MC()●Diagnose_MC()通过以下的观察●在GRASP()中，Preprocess()简化了每个子句，所以子句中的每一个直接量都是不同的变量。对在初始数据库中的每一对子句执行一个归类操作；并且返回“SUCCESS”。●在GRASP()中，Postprocess()无动作。●在Search()中使用Deduce_MC()和Diagnose_MC()而不使用Deduce()和Diagnose()。●在Diagnose_MC()中，在调用“Update_Clause_Database”后，调用过程subsume()。●对照数据库中的每个子句，subsume()过程检查每一个被添加的子句的归类并且删除数据库中的每一个被归类子句。类似调用Subsume_Merge_Clauses()并把REDUCE_DATABASE设为真，但是不允许合并，只是归类。对于方法本身和资源的多项式应用(方法的最优应用)效果，subsume()过程如何执行并不重要，因为复杂度是相同的。对于它的软件的实施效果很重要，因为这对性能可以产生严重的影响。推荐的归类操作软件的实施带有表示直接量的素数和它们的乘积，此乘积表示子句，这样，一个对归类的单独比较就可以在表示两个子句的整数之间得到由硬件执行的真正的划分。这样使一个归类操作的复杂度看起来象一个常量(一次硬件操作)而不是被硬件划分而掩盖了的被表示的信息的比特数的平方。中用到的数据结构与在此提到的一个数据结构一起使用为软件实施的全部其他的效果。在中还包括了关于算法软件实施的所有其它执行考虑，特别是那些关于BCP和冲突分析。通过一个类似的硬件实施，可以达到算法的最佳效果。也许使用照片折射材料代替电子或者光电子的实施。到工业或技术上能够制造足够成熟的那种硬件将会有一段时间。提供了不包含subsume()过程的合理的完整的算法。与subsume()过程的检验很相似。subsume()主要的影响在于算法的复杂度。在文献中提到的一些技术能够增强此问题在某些情况下的性能，例如高速缓存解决方案(caching solution)和公式划分(formula partitioning)。另外的一些技术在复杂度方面作了多项式转变，例如多重冲突(iteratedconflicts)和递归学习(recursive learning)。另外的一些技术与方法的多项式应用不相容，例如常量规模数据库，k-浓度(k-consistancy)，张弛方法(relaxation)和基于关联学习(relevance-based learning)。利用PSAT()并通过对那些技术的冗余的观察，可以解释局部的改进和多项式在复杂度方面的改变。通过数据库的一些由技术产生的制约影响的观察，可以解释不相容性。通过归类操作，数据库成为具有归类操作的素数关联数据库(一些不可知功能)。下面用到了中的术语、定义和法则定理。中的定理2.3和A.4有特别的关联。第46页、47页、48页(图2.10)，44页(图2.7)和中的52页有特别的关联。定理B应用上述subsume()PSAT()的回退总数与初始数据库的大小成比例。证据辩论算法的任意回退后和对于数据库中每一个子句CL，由于执行了CL的当前回退数相对子句数在添加CL时在数据库中是一个颠倒的比例。这要归功于添加的每个子句的归类(它保持数据库是一个素数关联的数据库)，归功于关于素数关联数据库的BCP的完备，归功于具有UIPs的基本冲突分析完备和关于Ic的通过BCP产生MC。当前每个素数相关的子句确保直到CL被移除或者算法执行完毕时将要执行的回退的次数严格的少于当CL不在数据库中回退执行的次数。如果不对添加的每一个“prime implicate(素数关联)”子句进行归类操作，此“确实地(strictly)本文档来自技高网...

【技术保护点】
使用计算机进行电路门设计处理方法和含有计算机算法的计算机可读存储介质；所述算法用来对单路输出的组合开关电路门设计实施全面的最优电路核查方案；所述电路门设计通过一种数据结构来描述；和所述算法包括以下步骤：将描述 所述电路门设计的数据结构变换为规范方式，使空间和时间资源的使用最优；和在所述的规范方式下执行合理的、完全的、整套的技术核查，这一整套技术通过使空间和时间资源最优的使用决定核查；所述整套技术包括：具有多重冲突分析的冲突 控制回退和唯一蕴含点的分析；和对含有冲突的归类子句的记录。

【技术特征摘要】

【专利技术属性】
技术研发人员：乔斯L基罗加，
申请(专利权)人：乔斯L基罗加，
类型：发明
国别省市：CO[哥伦比亚]