导读:本文包含了逻辑锥论文开题报告文献综述及选题提纲参考文献，主要关键词:等价性验证,逻辑锥,可满足性
逻辑锥论文文献综述
岳园,何安平[1]（2013）在《使用逻辑锥分割的组合电路等价性验证》一文中研究指出为了提高等价性验证在数字电路中的验证效率,提出一种逻辑锥分割和可满足性相结合的方法。通过划分规则把参照电路和实现电路划分成若干个逻辑锥,利用匹配技术对两者的逻辑锥进行匹配,将已匹配的两个逻辑锥的输出用一个异或门连接,从而得到Miter电路,将该结构转换成相应的合取范式,用可满足性引擎来验证Miter电路是否功能等价。在ISCAS’85基准电路的实验结果表明该方法的可行性。(本文来源于《计算机工程与应用》期刊2013年02期）
岳园[2]（2007）在《基于逻辑锥和SAT的带黑盒电路等价性验证方法》一文中研究指出随着信息产业的发展，超大规模集成电路和数字系统几乎占据了我们生活的所有领域。而且，由于芯片设计复杂性与日俱增，新产品的功能验证难度也逐渐加大。由于这些原因，在设计阶段早期发现错误显得十分必要。因此，开发形式化验证技术来处理那些或许会引起功能不正确的设计阶段是非常重要的。等价性验证是形式化验证方法之一，它主要解决验证两个电路是否功能等价的问题。现在电路设计经常包含某些功能未知的模块，这些模块被称作黑盒。为了在早期阶段发现设计错误，我们对带黑盒的实现电路进行等价性验证。本文主要研究了集成电路的等价性验证理论及其在带黑盒电路上的应用，进而提出一种基于逻辑锥分割和SAT的带黑盒电路的等价性验证方法。主要包括以下叁方面的内容：1．等价性验证：等价性验证技术证明两个被给定电路具有相同的功能。例如，一个优化的设计与其早期版本是功能等价的。在验证过程中，验证方法被分为两类：(1)符号方法，(2)增量方法。符号方法是指依赖于使用BDD符号技术的那些方法；增量方法是指在验证中，开发两个电路的结构相似性。2．带黑盒的等价性验证：在假设规范电路和带黑盒的实现电路具有组合性质的基础上，提出带黑盒的等价性验证方法。这些方法包括Local Check，Output Exact Check和Input Exact Check。使用这些方法相继地增加了算法的准确性和复杂性。3．一个有效的带黑盒电路的验证方法：我们提出了一种基于逻辑锥分割和可满足性的检验算法。根据“分而治之”的方法，把电路划分成若干子电路，使用符号模拟技术对黑盒的输出进行未知约束，然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力，通过在ISCAS'85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。(本文来源于《兰州大学》期刊2007-04-01）
郭永安[3]（1995）在《逻辑锥阀及其在挖掘机上的应用》一文中研究指出逻辑锥阀是近年来工程机械应用的一种插装式液压元件。目前,在新型的挖掘机上已得到应用。1 锥阀的结构和特点锥阀由阀套、阀芯、弹簧及密封圈组成,如图1所示。锥阀本身不能单独使用,必须插入集成块(油路板)配上相应的先导装置(先导阀)方能使用。弹簧的刚度影响锥阀的启闭特性及动态响应速度。锥阀有叁条油路,A、(本文来源于《工程机械》期刊1995年05期）
逻辑锥论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
随着信息产业的发展，超大规模集成电路和数字系统几乎占据了我们生活的所有领域。而且，由于芯片设计复杂性与日俱增，新产品的功能验证难度也逐渐加大。由于这些原因，在设计阶段早期发现错误显得十分必要。因此，开发形式化验证技术来处理那些或许会引起功能不正确的设计阶段是非常重要的。等价性验证是形式化验证方法之一，它主要解决验证两个电路是否功能等价的问题。现在电路设计经常包含某些功能未知的模块，这些模块被称作黑盒。为了在早期阶段发现设计错误，我们对带黑盒的实现电路进行等价性验证。本文主要研究了集成电路的等价性验证理论及其在带黑盒电路上的应用，进而提出一种基于逻辑锥分割和SAT的带黑盒电路的等价性验证方法。主要包括以下叁方面的内容：1．等价性验证：等价性验证技术证明两个被给定电路具有相同的功能。例如，一个优化的设计与其早期版本是功能等价的。在验证过程中，验证方法被分为两类：(1)符号方法，(2)增量方法。符号方法是指依赖于使用BDD符号技术的那些方法；增量方法是指在验证中，开发两个电路的结构相似性。2．带黑盒的等价性验证：在假设规范电路和带黑盒的实现电路具有组合性质的基础上，提出带黑盒的等价性验证方法。这些方法包括Local Check，Output Exact Check和Input Exact Check。使用这些方法相继地增加了算法的准确性和复杂性。3．一个有效的带黑盒电路的验证方法：我们提出了一种基于逻辑锥分割和可满足性的检验算法。根据“分而治之”的方法，把电路划分成若干子电路，使用符号模拟技术对黑盒的输出进行未知约束，然后对子电路的合取范式进行可满足性验证。这种方法增强了算法的错误检测能力，通过在ISCAS'85基准电路和10个简单组合电路上得到的两组实验数据表明了此算法的有效性和可行性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
逻辑锥论文参考文献
[1].岳园,何安平.使用逻辑锥分割的组合电路等价性验证[J].计算机工程与应用.2013
[2].岳园.基于逻辑锥和SAT的带黑盒电路等价性验证方法[D].兰州大学.2007
[3].郭永安.逻辑锥阀及其在挖掘机上的应用[J].工程机械.1995