复杂高速芯片论文_麻春

导读:本文包含了复杂高速芯片论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:芯片,多项式,过程,波形,布尔,逻辑,论文。

复杂高速芯片论文文献综述

麻春^[1]（2003）在《复杂高速ASIC芯片逻辑模拟的新方法研究》一文中研究指出逻辑模拟是ASIC设计中必不可少的一个环节。随着电路规模的不断扩大和时钟频率的不断加快，逻辑模拟对耗时和准确性的要求也不断提高。由于数字电路的模拟是基于对电路网表中的元件进行逻辑和延时计算的，所以要想得到正确的模拟结果，必须进行正确的逻辑运算和准确的延时分析。逻辑运算是基于布尔表达式的逐级运算，它能够实现对数字电路瞬间状态的模拟，但对具有复杂延迟特性的电路进行连续时间的模拟就无能为力了。延时分析虽然能够描述电路的时间特性，但它与逻辑运算相分离，因此并不能实时地模拟电路的行为。作为数字系统的模拟工具，它们都是不完整的。 Boole过程论是近年来出现的一种新的电路描述和解析的手段。它把逻辑和延迟有机地结合起来归纳为波形，并用波形来描述电路网表中节点的连续时间状态，通过对波形的计算实现整个电路的连续时间状态模拟。因此使用Boole过程的描述和计算方法能够更真实地同时对电路的逻辑功能和延迟特性进行模拟。本文运用波形的基本概念和波形运算的定义，建立了接近实际的模拟模型，并对原算法提出了重要改进，实现了对数字电路在高时钟频率和大集成度条件下的更为准确的模拟。本模拟算法的一个显着优势是：在模拟过程中的任何时候都能够不断地得到电路元件的完全模拟信息。这样就解决了传统的模拟方法在模拟结束之前不能得到任何元件的完整模拟信息的问题，从而提高了模拟的效率。与此同时，本文还针对逻辑模拟验证中涉及到的冒险检测、惯性延迟、反馈处理、伪路径识别、建立与保持时间、关键路径和最短路径等关键问题进行了详细的论述，并分别设计了基于Boole过程的算法。其中，冒险检测定理给出了通过波形运算检测电路中冒险现象的哈尔滨工程大学硕士学位论文形式化方法;波形递增算法解决了Boole过程在处理电路中反馈环问题上的缺陷;伪路径识别算法能够有效地去除电路网表中的无用节点;而惯性冲突消除法能使对节点状态的描述更加真实，并减少了计算量。(本文来源于《哈尔滨工程大学》期刊2003-05-01）

杜振军^[2]（2002）在《布尔过程论及其在复杂高速芯片设计自动化应用中的研究》一文中研究指出芯片设计的日趋复杂化和高速化对设计自动化的理论和方法提出了新的要求。布尔过程论是适应这种要求而提出的新的理论，本文以布尔过程论为理论基础，对该理论进行了拓展，探讨了该理论在复杂高速芯片设计自动化中的应用，在芯片定时、测试生成、验证和综合基础研究方面提出了几个基于该理论的自动化设计的新方法和新算法。论文首先拓展了布尔过程的理论，提出了以下新的概念、定理、理论模型和数据结构。波形多项式偏导和高阶偏导的新概念，用来精确描述输出跳变与输入跳变之间的关系，并在本文中用来重新定义了电路的敏化和冒险；波形多项式向量的概念，用于形式化描述实际中的多输入多输出的电路，特别是用于统一描述电路模块的功能及定时行为；时序电路的敏化定理，用于时序电路精确定时分析；波形多项式描述跳变及跳变数的定理，用于噪声、功耗等问题的描述；时序电路的完整波形多项式描述，用于时序电路功能和定时行为的统一描述；波形多项式的多项式符号表示和运算的模型以及数据结构，用来实现对波形多项式比较有效的描述和运算。然后论文进行了布尔过程论在芯片自动化设计中应用的研究。在组合逻辑电路精确定时方面，本文用波形多项式偏导定义的敏化概念改进了解析延时模型，在此基础上建立了基于敏化的延时矩阵以描述电路模块的延时，随后将层次化延时分析方法引入基于延时矩阵的延时分析中，形成一种新的精确的通用电路层次化延时分析方法。实验证明该方法既能大大降低复杂问题的计算时间，又能很好地维持延时的准确性。它还特别适合于片上系统的基于IP的设计方法。在时序逻辑电路精确定时方面，从时序电路的敏化定理出发，使用本文给出的条件可敏化概念，通过对通路敏化性质的判断建立了一种新的单周期敏化的时序电路最小时钟周期精确确定方法。同传统方法相比，本方法计算出的最小周期既能保证电路的正确计算，又不至于保守，而且能同时计算出组合逻辑部分的延迟；然后从时序电路的波形多项式出发，进一步给出了多周期敏化的最小时钟周期确定方法，适用于有苛刻定时要求的环境。为了适应超深亚微米电路测试的要求，本文建立了一种新的基于布尔过哈尔滨工程大学博士学位论文程论的逻辑级噪声预测模型，用波形多项式描述的同时发生的跳变数来预测l卜足声大小，并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合，形成一种能产生最大噪声效应的敏化测试波形生成新方法。实验表明，本文的方法可以应用在复杂超深亚微米电路的延时故障测试中，有一定推广价值。在芯片的综合和验证中，部件的匹配和功能验证是一个基本环节，能以较低的复杂度建立不同设计层次中统一的正则描述形式是一个关键的问题。木文将位级电路波形多项式描述转化成字级多项式描述，提供了一种正则、在多项式时间内可构造的、能够将位级描述转化成字级描述的模型，月_允许简单的合成。该方法可以用来有效判断不同设计层次的描述是否等价，从而可以实现跨设计层次的模块重用、综合和验证。另外，:基于C语言本人设计开发了一个实验软件系统，该系统包括波形多J一贞式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。(本文来源于《哈尔滨工程大学》期刊2002-10-01）

复杂高速芯片论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

芯片设计的日趋复杂化和高速化对设计自动化的理论和方法提出了新的要求。布尔过程论是适应这种要求而提出的新的理论，本文以布尔过程论为理论基础，对该理论进行了拓展，探讨了该理论在复杂高速芯片设计自动化中的应用，在芯片定时、测试生成、验证和综合基础研究方面提出了几个基于该理论的自动化设计的新方法和新算法。论文首先拓展了布尔过程的理论，提出了以下新的概念、定理、理论模型和数据结构。波形多项式偏导和高阶偏导的新概念，用来精确描述输出跳变与输入跳变之间的关系，并在本文中用来重新定义了电路的敏化和冒险；波形多项式向量的概念，用于形式化描述实际中的多输入多输出的电路，特别是用于统一描述电路模块的功能及定时行为；时序电路的敏化定理，用于时序电路精确定时分析；波形多项式描述跳变及跳变数的定理，用于噪声、功耗等问题的描述；时序电路的完整波形多项式描述，用于时序电路功能和定时行为的统一描述；波形多项式的多项式符号表示和运算的模型以及数据结构，用来实现对波形多项式比较有效的描述和运算。然后论文进行了布尔过程论在芯片自动化设计中应用的研究。在组合逻辑电路精确定时方面，本文用波形多项式偏导定义的敏化概念改进了解析延时模型，在此基础上建立了基于敏化的延时矩阵以描述电路模块的延时，随后将层次化延时分析方法引入基于延时矩阵的延时分析中，形成一种新的精确的通用电路层次化延时分析方法。实验证明该方法既能大大降低复杂问题的计算时间，又能很好地维持延时的准确性。它还特别适合于片上系统的基于IP的设计方法。在时序逻辑电路精确定时方面，从时序电路的敏化定理出发，使用本文给出的条件可敏化概念，通过对通路敏化性质的判断建立了一种新的单周期敏化的时序电路最小时钟周期精确确定方法。同传统方法相比，本方法计算出的最小周期既能保证电路的正确计算，又不至于保守，而且能同时计算出组合逻辑部分的延迟；然后从时序电路的波形多项式出发，进一步给出了多周期敏化的最小时钟周期确定方法，适用于有苛刻定时要求的环境。为了适应超深亚微米电路测试的要求，本文建立了一种新的基于布尔过哈尔滨工程大学博士学位论文程论的逻辑级噪声预测模型，用波形多项式描述的同时发生的跳变数来预测l卜足声大小，并生成能产生最大跳变数目的输入波形;然后同基于波形敏化的长敏化通路选择法相结合，形成一种能产生最大噪声效应的敏化测试波形生成新方法。实验表明，本文的方法可以应用在复杂超深亚微米电路的延时故障测试中，有一定推广价值。在芯片的综合和验证中，部件的匹配和功能验证是一个基本环节，能以较低的复杂度建立不同设计层次中统一的正则描述形式是一个关键的问题。木文将位级电路波形多项式描述转化成字级多项式描述，提供了一种正则、在多项式时间内可构造的、能够将位级描述转化成字级描述的模型，月_允许简单的合成。该方法可以用来有效判断不同设计层次的描述是否等价，从而可以实现跨设计层次的模块重用、综合和验证。另外，:基于C语言本人设计开发了一个实验软件系统，该系统包括波形多J一贞式表示模块、敏化通路判定模块、延时计算模块、单周期敏化的最小时钟周期精确确定模块、多周期敏化的最小时钟周期确定方法模块、考虑噪声的测试生成模块和位级波形多项式描述转化成字级多项式描述模块，分别用于对本文各章中提出的自动化设计的模型和方法进行实验验证。

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。