导读:本文包含了模拟矢量自动生成论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:矢量,自动生成,覆盖率,路径,寄存器,数据流,集成电路。
模拟矢量自动生成论文文献综述
尚玉玲,刘晓丽[1]（2012）在《模拟信号扩展互连测试自动测试矢量生成研究》一文中研究指出模拟电路网络的自动测试矢量生成是混合信号测试研究的重点和难点,以IEEE1149.4标准为基础,建立模拟电路网络测试的模型及测试方法,并提出一种适用于模拟扩展互连测试自动测试矢量生成的算法,基于此方法,构建了相应的软件测试系统,通过编译Protel网表文件、BSDL文件、自定义测试模型流程文件及扫描单元真值表文件,提取相关信息,完成测试矢量的自动生成;结果显示,该算法产生的测试矢量可准确控制内部开关的导通,形成测试通路,满足模拟扩展互连测试的要求。(本文来源于《计算机测量与控制》期刊2012年08期）
易江芳,佟冬,程旭[2]（2006）在《GATEST:使用遗传算法自动生成模拟矢量的验证平台》一文中研究指出对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。(本文来源于《北京大学学报(自然科学版)》期刊2006年05期）
易江芳,佟冬,程旭[3]（2006）在《GATEST:使用遗传算法自动生成模拟矢量的验证平台》一文中研究指出对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。(本文来源于《北京大学学报(自然科学版)网络版(预印本)》期刊2006年02期）
李暾,郭阳,李思昆[4]（2004）在《基于断言的模拟矢量自动生成方法》一文中研究指出VLSI模拟验证的一个关键问题是需要大量的模拟矢量来验证各种可能情况下设计的正确性.采用断言作为模拟验证的功能模型,提出和实现了一种基于断言的模拟矢量自动生成方法.针对要触发的断言,首先对设计进行化简,通过决策图模型将初始输入传播到断言,并将传播过程和断言条件一起转化成CLP约束,最后求解CLP约束生成模拟矢量.该方法的优势在于运用了字级(word-level)约束求解技术,能统一处理控制电路和数据通路间的数据传播,求解效率高;基于功能模型的模拟矢量生成技术,模拟矢量生成目标更明确;与动态加速技术相结合,使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关.实验结果表明,该方法能快速找到并定位设计中的错误,生成模拟矢量效率更高.(本文来源于《软件学报》期刊2004年10期）
李暾,郭阳,李思昆[5]（2004）在《RTL数据通路模拟矢量自动生成方法研究与实现》一文中研究指出针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 ,文中方法是一种高效的RTL数据通路模拟矢量自动生成方法(本文来源于《计算机辅助设计与图形学学报》期刊2004年08期）
郭阳,李暾,李思昆,朱丹,梁磊[6]（2004）在《RTL模拟矢量自动生成技术研究》一文中研究指出模拟矢量自动生成是提高VLSI验证质量、缩短验证周期的关键。本文设计并实现了一个RTL模拟矢量自动生成原型系统HRV,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析器、以及基于路径和基于断言的模拟矢量自动生成方法。实验结果表明,HRV可有效提高模拟验证效率,加速错误检测和错误定位。(本文来源于《全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集》期刊2004-08-01）
李暾,李思昆,)郭阳,万海,冷彪[7]（2004）在《面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究》一文中研究指出提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 .(本文来源于《计算机学报》期刊2004年06期）
李暾,郭阳,李思昆[8]（2004）在《RTL级模拟矢量自动生成设计化简方法研究》一文中研究指出提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 ,可以有效地解决状态空间爆炸问题(本文来源于《计算机辅助设计与图形学学报》期刊2004年05期）
李暾,李思昆,郭阳[9]（2003）在《功能验证模拟矢量自动生成技术研究综述》一文中研究指出功能验证是保证设计正确性的重要手段,以模拟验证为主要方法。为了解决用尽可能少的模拟矢量尽可能全面地验证整个设计的问题,提出了各种模拟矢量自动生成方法。本文综述了各种方法,并比较各自的优缺点,分析了模拟矢量自动生成涉及的主要问题,最后指出了未来的研究方向。(本文来源于《计算机工程与科学》期刊2003年06期）
李暾[10]（2003）在《VLSI RTL级模拟矢量自动生成技术研究》一文中研究指出功能验证是保证VLSI设计功能正确的重要手段。随着现代VLSI设计复杂度的不断提高，功能验证越来越成为设计验证的瓶颈。目前，功能验证主要集中在RTL级及更高设计层次，用于保证RTL级的HDL描述及高层设计满足设计功能要求。 功能验证主要采用形式化验证和模拟验证方法。形式化验证方法不需要输入激励就能静态地验证设计描述是否满足设计要求：而模拟验证方法通过加载输入激励动态地验证设计描述的正确性。随着设计复杂度的提高，这两种方法都遇到了困难。模拟验证方法缺乏评价模拟程度的测度，并且需要大量的模拟矢量来激活设计的符个部分。形式化验证方法存在状态空间爆炸问题，能处理的设计规模较小。 覆盖率驱动的验证方法结合了形式化验证方法和模拟验证方法的优点，运用形式化技术分析模拟验证程度，并生成模拟矢量：通过模拟处理大规模设计。因此，该方法一提出就得到了广泛应用。在该方法框架中，模拟矢量自动生成技术是最关键的技术，模拟覆盖率测度是模拟矢量生成的目标，覆盖率分析是模拟矢量生成的依据。 本文首先综述了模拟矢量自动生成技术及相关技术迄今为止的研究进展，对现有模拟矢量自动生成方法进行了分类，介绍了每种方法的代表性研究，分析了各种方法的优缺点。 为了使模拟矢量自动生成技术能处理大规模的设计描述，需要对设计进行化简，抽取出感兴趣的设计进行处理。本文提出了一种基于程序切片技术的设计化简和设计抽取方法。该方法对切片标准进行了改造，根据给定的感兴趣的信号名，能抽取相关设计；对切片的运算公式进行了改造，能抽取出两组感兴趣的信号间的设计；提出了进程依赖图结构，以及基于进程依赖图的程序切片技术，解决了并发程序的切片问题；对切片过程的正确性进行了理论证明。 本文改进了基于值变化导出(Value Chang Dump, VCD)文件的模拟覆盖率分析方法。模拟重放时只执行HDL描述中的控制语句。实验结果表明，改进后的模拟重放效率提高了2倍多。 本文定义了新的状态对模拟覆盖率测度，重新定义了交互状态机模型基于P-ROBDD的可达状态对遍历算法；提出了基于P-ROBDD的交互状态机模拟矢量自动生成方法。实验结果表明，基于P-ROBDD的交互状态机模拟矢量自动生成方法能获得更高效的内存使用效率，内存占用率比传统方法减小多倍，避免了状态空间爆炸问题。 本文提出了一种新的基于路径覆盖率的面向HDL描述的模拟矢量自动生成方法。该方法利用决策图模型解决了如何将生成的中间变量和信号的模拟矢量传播到初始输入的问题；约束生成时只考虑控制语句的约束生成，而不需要为所有的语句生成约束，提高了约束求解效率；能统一处理由位、位向量和整型变量构成的约束系统：能处理各种描述风国防科学技术大学研究生院学位论文格和各种控制和数据通路组成的设计。实验结果表明该方法在保证路径覆盖率高的前提下，模拟矢量生成速度更快。 本文提出了一种基于断言的面向HDL描述的模拟矢量自动生成方法。该方法运用了字级(word一level)约束求解技术，能统一处理控制电路和数据通路间的数据传播，字级约束求解效率更高;基于功能模型的模拟矢量生成目标更明确;与动态加速技术相结合，使搜索过程效率更高;设计化简技术的运用使搜索过程计算复杂度只与断言有关，而不需要搜索整个设计空间。实验结果表明，该方法在查找设计错误方面能获得很高的效率，并且能发现大部分设计错误。 本文设计实现了一个RTL级验证原型框架HRv(H沙rid RT-Level verification)。该框架集成了本文提出的设计化简方法、覆盖率分析方法和基于路径覆盖和基于断言的模拟矢量自动生成方法。用该框架对实际设计进行了验证，发现了设计中的错误。 为了提高模拟验证速度，本文设计实现了一个并行Verilog模拟原型系统—Pvsim。提出了基于MOdule的模拟实体映射算法，以及和预模拟划分算法结合的高效Modul。划分算法。实验结果表明PVSim并行模拟器负载和通讯量平衡，模拟加速比明显。关键词:超大规模集成电路，寄存器传输级，verilog，模拟矢量自动生成，程序切片，覆盖率分析，路径覆盖率，断言，约束逻辑编程，并行verilog模拟第U币(本文来源于《国防科学技术大学》期刊2003-09-01）
模拟矢量自动生成论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模拟矢量自动生成论文参考文献
[1].尚玉玲,刘晓丽.模拟信号扩展互连测试自动测试矢量生成研究[J].计算机测量与控制.2012
[2].易江芳,佟冬,程旭.GATEST:使用遗传算法自动生成模拟矢量的验证平台[J].北京大学学报(自然科学版).2006
[3].易江芳,佟冬,程旭.GATEST:使用遗传算法自动生成模拟矢量的验证平台[J].北京大学学报(自然科学版)网络版(预印本).2006
[4].李暾,郭阳,李思昆.基于断言的模拟矢量自动生成方法[J].软件学报.2004
[5].李暾,郭阳,李思昆.RTL数据通路模拟矢量自动生成方法研究与实现[J].计算机辅助设计与图形学学报.2004
[6].郭阳,李暾,李思昆,朱丹,梁磊.RTL模拟矢量自动生成技术研究[C].全国第13届计算机辅助设计与图形学（CAD/CG）学术会议论文集.2004
[7].李暾,李思昆,)郭阳,万海,冷彪.面向HDL描述基于路径覆盖的模拟矢量自动生成方法研究[J].计算机学报.2004
[8].李暾,郭阳,李思昆.RTL级模拟矢量自动生成设计化简方法研究[J].计算机辅助设计与图形学学报.2004
[9].李暾,李思昆,郭阳.功能验证模拟矢量自动生成技术研究综述[J].计算机工程与科学.2003
[10].李暾.VLSIRTL级模拟矢量自动生成技术研究[D].国防科学技术大学.2003
论文知识图
