导读:本文包含了基于断言的验证论文开题报告文献综述及选题提纲参考文献，主要关键词:温度控制系统,程序验证,前后断言
基于断言的验证论文文献综述
邓雪峰,葛跃,王建伟,冯灵清,侯思悦[1]（2019）在《基于前后断言法的温度控制系统程序验证》一文中研究指出温度控制系统已经广泛地应用于各个领域,温度控制系统对可靠性要求较高,一般来说,温度控制系统的故障将导致灾难性的后果。温度系统的设计直接影响了系统的可靠性,文章利用前后断言法对温度控制系统的设计进行验证,结论表明,该方法可以保证温度控制系统设计的正确性,保证系统可靠运行。(本文来源于《无线互联科技》期刊2019年11期）
张瑞[2]（2018）在《基于断言的形式化验证与UVM的综合应用》一文中研究指出在整个片上系统的开发流程中,验证工作发挥着非常重要的作用,其在项目中所占的时间平均已经达到55%。即使这样,大多数芯片在投入生产前至少需要进行两次流片,其中芯片的功能性缺陷是导致重新流片的头号原因。伴随着更复杂的电路功能和更快的产品上市的压力,功能验证已成为芯片设计开发周期的瓶颈。使用好现有的验证工具,对它们的验证特性进行深入的研究,对保证芯片功能的正确性、提高验证效率至关重要。针对这一问题,本文从最基本的模块验证做起,选择了目前芯片开发流程中用于模块验证的最流行的两种验证方法进行研究。本文以多核调试模块为验证案例,先后使用基于断言的形式化验证方法和UVM验证方法对多核调试模块进行验证,并记录下使用两种验证方法对多核调试模块进行验证时各个阶段的工作量,以此来发现适用于两种验证方发的电路特点。然后根据不同的电路特点选择合适的验证方法进行综合验证。分析对比叁种验证方式用于验证平台建立、断言的开发与调试、测试用例的开发与调试、覆盖率分析的工作量,总结叁种验证方式的优劣,并结合实际项目给出综合使用两种验证方法的建议。在本文的研究过程中,形式化验证的证明覆盖率为93.96%,功能覆盖率为100%;UVM验证的代码覆盖率为92.25%,功能覆盖率为100%,经过分析后均满足验证要求。通过对多核调试模块的验证发现,对信号时序上比较复杂的电路更适合使用UVM进行验证,节约了8个小时。而组合情况比较多的电路更适合使用形式化验证的方法进行遍历,节约了16个小时。综合验证方法根据电路特点对多核调试模块进行划分,然后再进行验证,相较于两种单独的验证方法分别节约了12.8%和14.6%的验证时间,唯一的不足在于跨平台统计的覆盖率存在一定的风险。为了弥补这种不足,将综合验证方法与实际的设计开发流程相结合,根据不同的开发阶段选择适当的验证方法,提出了一套以UVM验证方法开始,然后过渡到形式化验证结束的验证流程。改进后的综合验证方法相较于两种单独的验证方法分别节约了8.5%和10.4%的验证时间,同时由于所验证的模块是以形式化验证的标准结束验证的,验证质量得到了保证。(本文来源于《西安电子科技大学》期刊2018-04-01）
维克多（Nshunguyimfura,Victor）[3]（2014）在《基于断言的AMBER处理器验证》一文中研究指出几十年以来，随着电子技术的发展，微处理器已逐渐成为现代电子设计中重要且不可或缺的一部分，成为众多电子设备的数字大脑，使今天的数字化生活方式成为可能。目前的处理器只占用了几平方厘米的硅芯片，集成化程度高，并能够以惊人的高速度进行计算。然而，这种计算能力是有代价的;在学术界和工业界，核实一个现代的微处理器保证其操作的正确性越来越具有挑战性。在微处理器应用占据着核心地位的领域，如通信，医药，交通，财政，军事等，对于处理器操作的可靠性和正确性要求更加的严格。为了给用户提供更高的运算性能，新一代的处理器已可以将数百万个晶体管集成在一起，这使得更复杂的设计变成可能；同时设计复杂度的增加使得验证处理器的挑战越来越大，因此影响到处理器的有效设计的整个过程。在普遍的处理器设计周期中，初始阶段的设计占据着最具决定性的地位，设计者都更加努力的去设想如何改进设计中的传统指标，如性能，功耗和面积等。在这个期阶段设计验证未明确考虑。设计的验证通常被认为是设计完成后的任务，工程界的这一普遍的事实使的已经完成的设计变得更加难以进行验证。因此为了及时消除关键的设计错误，处理器厂商被迫采用巨大的验证团队。目前，确保处理器设计正确性环节占创建这整个新的处理器设计过程的最大部分（高达70％），这就给计算行业消费分配带来了重大挑战。而在设计验证过程中存在如此挑战，主要的原因是在目前的处理器设计流程中存在的问题。在这篇论文中，为了减少设计验证所使用的时间，并提高验证效率，我们建议，在设计周期的初始阶段，考虑设计的可验证性作为一个重要的设计约束。在上文中我们已经表述了验证环节在整个体系架构设计中的重要性。我们已提供了在设计循环寿命中应用基于断言验证的有效方法，验证计划作为验证组的路线图，我们的方法强调在验证过程中写作验证计划具有更好的优势。同时我们也描述了在设计周期末端添加断言会给整个设计带来更多的困难，整个设计开销也会更大。若在设计的最后环节加入断言验证需要更长的时间，这对最终设计的完成是一个挑战。在本研究中，我们使用基于断言的验证（ABV）机制来验证AMBER-25处理器的核心系统。在我们主要环节的验证过程中使用了SystemVerilog断言（SVA），通过我们的验证过程已证明SVA在基于断言的验证中的有效性，SVA不仅可以捕捉系统设计的缺陷，而且可以提供断言的验证覆盖率的详细信息.我们提供了有效的，并切可扩展的基于断言的验证模型。这种模式可以更容易的进行功能验证，并且保证了设计功能的正确性，而不会影响设计原来的性能，功耗和面积指标。(本文来源于《北京理工大学》期刊2014-06-01）
李森森,张立朝,徐金甫[4]（2014）在《一种基于断言的高效验证实现方法》一文中研究指出提出了设计错误类型和断言分类相结合的方法,依据常见的RTL设计错误指导断言的分类选取,从而提高断言插入的针对性和目的性.同时,提出了断言层次化设计方法,将复杂的断言设计拆分成为多个层次化的步骤,以降低断言设计难度,减少断言代码自身错误.通过验证实例,证明了所提方法能够实现断言的高效嵌入,进而明显提升功能验证的效率.(本文来源于《微电子学与计算机》期刊2014年04期）
姚爱红,孙盟哲,张智钧,袁莉娜[5]（2014）在《基于断言的Compact PCI总线IP核功能验证》一文中研究指出近年来,SoC设计规模和复杂度的不断提升使得基于IP核的设计和验证技术成为研究的热点.基于断言的功能验证具有代码简洁、可以快速定位设计缺陷以及易于与设计绑定等优点,在IP核功能验证中受到了广泛的关注.本文研究基于断言的Compact PCI总线控制器核的功能验证问题,提出一种基于断言的监视器组件设计方法,将Compact PCI核接口信号时序的断言、覆盖率统计的断言封装为监视器组件,以提高验证环境的开发效率和可复用性.实际应用表明,本方法在加快验证过程收敛速度的同时,随IP核一起发布的验证组件提高了验证环境的可复用性.(本文来源于《小型微型计算机系统》期刊2014年03期）
王锐,冯煌[6]（2013）在《基于断言合成的验证方法学及应用》一文中研究指出基于断言的验证方法已经广泛应用于芯片设计验证,其主要作用是提高验证效率和验证质量。由于手工设计的断言需要耗费大量人力和时间,使得断言的应用受到很大限制。断言合成可以自动生成高质量的白盒电路断言。本文介绍了一种基于断言合成的验证方法学与流程,以及其在验证流程中的多个应用:评估验证过程的进度;协助完成IP的coverage signoff;帮助在硬件仿真时发现问题,并且在验证的不同阶段协助发现或者快速定位芯片设计中的缺陷。(本文来源于《中国集成电路》期刊2013年10期）
徐文义,陈意云,李兆鹏[7]（2013）在《断言语言支持自定义谓词的程序验证器原型》一文中研究指出基于逻辑推理的方法进行程序验证是形式化程序验证的研究热点.目前的自动验证工具为了保证自动性,对描述程序性质的断言语言都有较多限制,导致程序的某些递归性质难以用断言语言表述.本文在一个面向指针程序、基于先前自行设计的形状图逻辑、依赖于自动定理证明工具Z3的自动程序验证原型系统上,通过在断言语言中引入自定义谓词来增强断言语言的表达能力,使得该原型系统不仅能自动验证含操作易变数据结构的程序的性质,也能自动验证一些不含指针的程序的性质.(本文来源于《小型微型计算机系统》期刊2013年07期）
杨鹏飞,付修峰[8]（2013）在《多重覆盖率导向结合断言的FPGA验证方法研究及应用》一文中研究指出首先介绍多重覆盖率导向结合断言的FPGA(Field Programmable Gate Array)验证方法,然后以FPGA总线仲裁器的功能验证为背景,制定了FPGA总线仲裁器模块的验证策略和验证计划,并利用多重覆盖率导向结合断言的验证方法对FPGA总线仲裁器模块进行实际验证。实验结果表明,该方法可以有效地保证验证的充分性,缩短功能验证的时间。(本文来源于《计算机与现代化》期刊2013年05期）
张挺,陈岚,冯燕[9]（2012）在《基于断言的WISHBONE到AHB转换桥验证》一文中研究指出随着集成电路设计复杂程度的不断提高.功能验证越来越受到重视.一种新兴的验证方法,基于断言的验证,得到越来越广泛的应用.介绍了基于断言的验证方法.及其在WISHBONE到AHB转换接口验证中的应用,总结了断言验证在功能验证中的优势和特点.(本文来源于《微电子学与计算机》期刊2012年06期）
孙盟哲[10]（2012）在《基于断言的PCI总线控制器核功能验证研究》一文中研究指出集成电路工艺飞速发展，芯片设计的规模和复杂度已经不可同日而语，传统的验证方法对当前复杂度的设计不再适用，验证已成为整个芯片开发过程的瓶颈。事务级验证、带约束随机激励生成、覆盖率驱动的验证、验证IP、基于断言的验证以及高级验证方法学等成为当前硬件验证的主流技术，其中，基于断言的功能验证技术具有代码简洁、可以快速定位设计缺陷等优点，成为一种重要的验证技术。本文研究了基于断言的PCI总线控制器核的功能验证问题，引入配置图描述PCI总线控制器的配置过程，并提出基于配置图的事务生成算法，并设计和实现了基于断言的验证IP。论文首先对当前验证技术存在的问题、面临的挑战以及主流的高级验证技术进行了分析，然后以PCI总线控制器核为待验证对象，详细描述了制定验证计划、进行测试需求分析、编制测试用例以及搭建验证平台的过程。为了提高验证的完整程度和激励生成效率，提出了基于配置图的事务生成算法，实现PCI从设备接口事务的高效生成。最后，基于VMM架构设计了基于断言的验证IP，实现了对PCI总线控制器核的功能验证，并对检查器验证IP的验证结果进行了分析及总结。实验结果表明采用基于断言的验证IP核可以快速地定位设计错误，增强了验证过程的可控性及可观察性，且验证IP本身可直接被其他涉及PCI接口的验证环境重用，缩短了验证周期，提高了验证效率和质量。(本文来源于《哈尔滨工程大学》期刊2012-01-01）
基于断言的验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
在整个片上系统的开发流程中,验证工作发挥着非常重要的作用,其在项目中所占的时间平均已经达到55%。即使这样,大多数芯片在投入生产前至少需要进行两次流片,其中芯片的功能性缺陷是导致重新流片的头号原因。伴随着更复杂的电路功能和更快的产品上市的压力,功能验证已成为芯片设计开发周期的瓶颈。使用好现有的验证工具,对它们的验证特性进行深入的研究,对保证芯片功能的正确性、提高验证效率至关重要。针对这一问题,本文从最基本的模块验证做起,选择了目前芯片开发流程中用于模块验证的最流行的两种验证方法进行研究。本文以多核调试模块为验证案例,先后使用基于断言的形式化验证方法和UVM验证方法对多核调试模块进行验证,并记录下使用两种验证方法对多核调试模块进行验证时各个阶段的工作量,以此来发现适用于两种验证方发的电路特点。然后根据不同的电路特点选择合适的验证方法进行综合验证。分析对比叁种验证方式用于验证平台建立、断言的开发与调试、测试用例的开发与调试、覆盖率分析的工作量,总结叁种验证方式的优劣,并结合实际项目给出综合使用两种验证方法的建议。在本文的研究过程中,形式化验证的证明覆盖率为93.96%,功能覆盖率为100%;UVM验证的代码覆盖率为92.25%,功能覆盖率为100%,经过分析后均满足验证要求。通过对多核调试模块的验证发现,对信号时序上比较复杂的电路更适合使用UVM进行验证,节约了8个小时。而组合情况比较多的电路更适合使用形式化验证的方法进行遍历,节约了16个小时。综合验证方法根据电路特点对多核调试模块进行划分,然后再进行验证,相较于两种单独的验证方法分别节约了12.8%和14.6%的验证时间,唯一的不足在于跨平台统计的覆盖率存在一定的风险。为了弥补这种不足,将综合验证方法与实际的设计开发流程相结合,根据不同的开发阶段选择适当的验证方法,提出了一套以UVM验证方法开始,然后过渡到形式化验证结束的验证流程。改进后的综合验证方法相较于两种单独的验证方法分别节约了8.5%和10.4%的验证时间,同时由于所验证的模块是以形式化验证的标准结束验证的,验证质量得到了保证。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
基于断言的验证论文参考文献
[1].邓雪峰,葛跃,王建伟,冯灵清,侯思悦.基于前后断言法的温度控制系统程序验证[J].无线互联科技.2019
[2].张瑞.基于断言的形式化验证与UVM的综合应用[D].西安电子科技大学.2018
[3].维克多（Nshunguyimfura,Victor）.基于断言的AMBER处理器验证[D].北京理工大学.2014
[4].李森森,张立朝,徐金甫.一种基于断言的高效验证实现方法[J].微电子学与计算机.2014
[5].姚爱红,孙盟哲,张智钧,袁莉娜.基于断言的CompactPCI总线IP核功能验证[J].小型微型计算机系统.2014
[6].王锐,冯煌.基于断言合成的验证方法学及应用[J].中国集成电路.2013
[7].徐文义,陈意云,李兆鹏.断言语言支持自定义谓词的程序验证器原型[J].小型微型计算机系统.2013
[8].杨鹏飞,付修峰.多重覆盖率导向结合断言的FPGA验证方法研究及应用[J].计算机与现代化.2013
[9].张挺,陈岚,冯燕.基于断言的WISHBONE到AHB转换桥验证[J].微电子学与计算机.2012
[10].孙盟哲.基于断言的PCI总线控制器核功能验证研究[D].哈尔滨工程大学.2012