基于多项式模型的高层次形式化验证_毕业论文范文网-论文范文

搜索高级搜索

原创毕业论文

基于多项式模型的高层次形式化验证

作者: 浏览:5次

免费专业论文
政治工作论文
计算机论文
营销专业论文
工程管理论文范文
医药医学论文范文
法律论文范文
生物专业论文
物理教学论文范文
人力资源论文范文
化学教学论文范文
电子专业论文范文
历史专业论文
电气工程论文
社会学专业论文
英语专业论文
行政管理论文范文
语文专业论文
电子商务论文范文
焊工钳工技师论文
社科文学论文
教育论文范文
数学论文范文
物流论文范文
建筑专业论文
食品专业论文
财务管理论文范文
工商管理论文范文
会计专业论文范文
专业论文格式
化工材料专业论文
英语教学专业论文
电子通信论文范文
旅游管理论文范文
环境科学专业论文
经济论文
人力资源论文范文
营销专业论文范文
财务管理论文范文
物流论文范文
财务会计论文范文
数学教育论文范文
数学与应用数学论文
电子商务论文范文
法律专业论文范文
工商管理论文范文
汉语言文学论文
计算机专业论文
环境艺术专业论文
信息计算科学专业
物流专业论文范文
人力资源论文范文
教育管理论文范文
现代教育技术论文
小学教育论文范文
机械模具专业论文
报告,总结,申请书
理工科专业论文
心理学论文范文
学前教育论文范文

毕业论文范文题目：基于多项式模型的高层次形式化验证，论文范文关键词：基于多项式模型的高层次形式化验证
基于多项式模型的高层次形式化验证毕业论文范文介绍开始：
【论文摘要】：当今微电子学技术的发展，使得含有数千万元件的集成电路已经能够大批量地生产出来，真正的SoC(SystemonaChip)正在成为现实。集成电路的设计能力滞后于集成电路的工艺水平。设计VLSI中的关键问题之一是如何检查设计的正确性，即设计验证。因为设计验证的复杂度随着芯片的规模呈指数增加，传统的验证手段，如模拟、测试和仿真技术，对于大型的系统都不是完全的。由于集成电路工艺的复杂（略..）性，它的试制费用相当昂贵。为解决设计验证这一难题，过去二十年中，人们发展了一种新方法——形式化验证(FormalVerification)方法。这是VLSI(VeryLargeScaleIntegration)设计验证的一种有希望的方法。形式化验证意味着验证过程是数学化的，而不是如模拟技术那样，是试验性质的。数学化的验证克服了模拟的不足，因为它的覆盖是完全的，并且可以减少验证时间（本文此处忽略..）。形式化验证可以对电路描述进行自动化的验证，减少了验证的复杂度。本文研究基于多项式符号代数理论的形式化验证方法。关于多项式符号代数理论在形式化验证方面的研究，人们给出了WGLs(WeightedGeneralizedLists)和TEDs(TaylorExpansionDiagrams)两个多项式表示模型，并给出了相应的等价性验证算法。本文的主要工作如下。1)基于WGLs模型，给出了（略..）高层的数据通路的规格说明与相应的电路实现之间的等价性验证算法。由于WGLs不能应用于含有布尔变量和字级变量电路描述的表示，所以给出一个基于WGLs的新模型LWGLs(LabeledandWeightedGeneralizedLists)。LWGLs可以应用于含有布尔变量和字级变量电路描述的表示，并应用于高层次电路描述与电路实现或不同的电路实现之间的等价性验证。2)改进了TEDs的（文章此处忽略..）加法和乘法的算法描述，并对算法的复杂度进行分析。为了对电路的逻辑行为和时序行为进行统一表示，给出了一个基于TEDs的新的模型，称为时序泰勒展开图(TimedTaylorExpansionDiagrams，TTEDs)。TTEDs在保持TEDs原有的电路表示的规范上引入了时序信息。理论研究和实验结果验证了文中提出的模型和算法的有效性。

以上为本篇毕业论文范文基于多项式模型的高层次形式化验证的介绍部分。

本论文在论文格式栏目，由论文网(www.zjwd.net)整理,更多论文,请点论文范文查找

收费专业论文
汉语言文学论文
物理学论文
自动化专业论文
测控技术专业论文
历史学专业论文
机械模具专业论文
金融专业论文
电子通信专业论文
材料科学专业论文
英语专业论文
会计专业论文
行政管理专业论文
财务管理专业论文
电子商务国贸专业
法律专业论文
教育技术学专业论文
物流专业论文
人力资源专业论文
生物工程专业论文
市场营销专业论文
土木工程专业论文
化学工程专业论文
文化产业管理论文
工商管理专业论文
护理专业论文
数学教育专业论文
数学与应用数学专业
心理学专业论文
信息管理专业论文
工程管理专业论文
工业工程专业论文
制药工程专业论文
电子机电信息论文
现代教育技术专业
新闻专业论文
热能与动力设计论文
教育管理专业论文
日语专业论文
德语专业论文
轻化工程专业论文
社会工作专业论文
乡镇企业管理
给水排水专业
服装设计专业论文
电视制片管理专业
旅游管理专业论文
物业管理专业论文
信息管理专业论文
包装工程专业论文
印刷工程专业论文
动画专业论文
营销专业论文范文
工商管理论文范文
汉语言文学论文范文
法律专业论文范文
教育管理论文范文
小学教育论文范文
学前教育论文范文
财务会计论文范文

电子商务论文范文

上一篇：血管源性因子表达异常与IgA肾病肾..

下一篇：关键可测物元对不可测物元的聚焦..