一、VHDL编译型事件驱动模拟算法（论文文献综述）
唐九飞,刘宇环,于俊清[1]（2012）在《基于VHDL的可编程逻辑器件虚拟实验平台》文中进行了进一步梳理主要研究基于VHDL的可编程逻辑器件虚拟实验平台的设计和实现方案。平台的主体是VHDL程序翻译模块和模拟调度模块。翻译模块的核心是VHDL编译器,它将用户编写的VHDL源程序翻译转换为等价的C++语言描述,最终生成若干C++程序文件;模拟调度模块通过改进传统的事件驱动模拟算法,对翻译模块得到的C++文件进行编译、连接和动态调度,实现对所描述的静态电路的动态行为的模拟。通过典型实验样例对平台进行了验证,结果表明该系统中进行实验的过程和结果与真实实验一致,达到预定设计要求。
刘宇环[2]（2011）在《基于VHDL的可编程逻辑器件虚拟实验平台的设计与实现》文中提出虚拟实验是指利用多媒体、仿真和虚拟现实等计算机技术实现一个虚拟实验环境,实验者以交互的方式进行实验操作,可以像在真实的环境中一样完成各种预定的实验项目。它提供与实际实验的操作方法相类似的实践体验,一定程度上解决了传统实验教学的时间限制、空间限制和资源限制等问题。论文主要研究基于VHDL的可编程逻辑器件虚拟实验平台的设计和实现方案。通过分析VHDL的可综合特性,提取出一个适用于虚拟实验平台的VHDL子集,给出基于VHDL的可编程逻辑器件虚拟实验平台设计方案。平台由VHDL程序翻译模块和模拟调度模块两个主要部分组成。翻译模块的核心是VHDL编译器,它将用户编写的VHDL源程序翻译转换为等价的C++语言描述,最终生成若干C++程序文件;模拟调度模块通过改进传统的事件驱动模拟算法,对翻译模块得到的C++文件进行动态调度,实现对静态电路描述的动态行为化模拟,最终生成一个链接库文件。将源电路的C++描述文件链接模拟调度库文件,经过C++编译器编译连接生成最终的可执行模拟程序。使用Flex Builder和VC++实现了一个B/S架构的可编程逻辑器件虚拟实验平台,通过典型实验样例对平台进行了验证。结果表明系统达到了预期设计要求,能够根据VHDL源程序输入建立正确的器件功能仿真模型,满足交互型可定制器件功能的虚拟实验平台的要求,满足可编程逻辑器件课程实验的应用需要。
张俊霖,王世好[3]（2010）在《嵌入式系统协调设计与协同模拟技术》文中研究表明随着微电子和计算机技术的发展,嵌入式系统的功能和结构日益复杂,传统的设计方法已经无法满足嵌入式产品快速发展需要。作为系统设计新方法,协调设计（Co-Design）已经成为嵌入式系统设计方法热点研究之一。协调设计就是在系统设计之初通过划分手段把整个系统划分为适合软件和硬件实现两部分,使系统设计并行进行。软硬件设计完成后利用协同模拟手段验证系统设计正确性,验证通过后,系统设计进入进行软硬件综合和系统集成测试阶段。该文研究嵌入式系统协调设计环境和软硬件系统模拟方法,通过构造软件和硬件模拟器,在系统设计初期实现嵌入式系统的软硬件功能及软硬件接口设计的快速验证,达到优化系统设计、降低系统开发成本、缩短设计周期的目的。
孙凌宇,冷明,魏斯民,杨威[4]（2010）在《面向RTL的VHDL语言模拟系统设计与实现》文中指出设计并实现了一种面向寄存器传输级的VHDL语言模拟系统（RTL-based VHDL Simulator,RVS）.介绍了RVS系统的处理流程和组成模块.RVS系统定义了面向寄存器传输级的VHDL语言子集,在编译阶段采用了一种基于递归的自顶向下语法分析算法,在模拟阶段采用了一种具有调试功能的基于进程的事件驱动模拟调度算法.RVS系统在Windows平台下用Visual Studio2003进行了实现.实验表明,RVS系统对组合逻辑控制和微程序控制的SAP-CPU设计电路文件进行了正确地编译和模拟.
曾伟[5]（2008）在《基于ABEL语言的可编程逻辑器件仿真研究》文中提出随着信息技术的发展,作为传统实验教学的一种有效补充,虚拟实验教学已成为加强实践教学、提高教学质量的重要手段。目前虚拟实验室的构建通常采用基于虚拟器件的方法,但这种方法在对逻辑功能不确定器件进行仿真时存在着器件功能模型无法建立的问题。将电路模拟技术引入虚拟教学实验系统,能够有效地解决可编程逻辑器件这类功能可定制器件的仿真。在深入分析虚拟实验教学系统的组织形式与结构以及传统实验环境下可编程逻辑器件的开发流程之后,根据可编程逻辑器件实验的特点,给出了基于电路模拟技术的可编程逻辑器件仿真方法。该方法采用对用户设计的电路进行建模,然后通过模拟电路的执行方式达到对可编程逻辑器件仿真的目的。电路建模包含两个方面,一是分析ABEL所描述电路的一般结构并设计出保存电路模型信息的文件格式,二是实现对ABEL语言的语义分析,从而达到从ABEL源文件获得电路模型信息的目的。在电路的模拟执行中,实际电路的并行运行效果是通过相应调度算法的控制来达到的。在此基础上,设计了一种改进的事件驱动模拟算法,并在模拟电路执行调度模块中进行了实现。此外,完成了模拟过程中数据结构以及外部接口的设计,实现了对ABEL电路中各种语句的模拟和模拟结果的波形显示。通过两个典型的应用实例对可编程逻辑器件仿真系统进行测试,结果表明,该系统达到了预期的设计要求。研究成果较好地解决了对逻辑功能不确定器件的仿真,并为虚拟教学实验室的研究提供了一个新的视角,具有良好的发展前景。
吴悦[6]（2006）在《基于硬件描述语言的并行逻辑模拟系统研究与实现》文中研究说明在使用硬件描述语言设计数字电路的过程中,模拟是一个非常重要的环节。模拟可以实时反馈设计结果,使用户发现设计中存在的问题。但是随着集成电路设计规模和复杂度的不断增长,传统的串行模拟方法日益成为设计中的瓶颈。并行模拟由于在提高模拟速度方面具有巨大的潜力,得到了越来越多的关注。并行逻辑模拟是指基于并行离散事件的模拟模型,此模型通过分散模拟工作量到并行或分布式计算机的多个节点上并行执行以减少总的模拟时间。并行逻辑模拟主要针对电路如何进行有效划分,电路划分算法对并行模拟的效果和速度的直接影响等方面开展研究。在传统使用的静态划分算法无法使电路划分达到最优效果时,需要对静态划分算法进行改进并引入动态负载平衡技术,使其在模拟过程中可根据各个结点的状况进行划分和动态负载调整,使各节点的负载达到平衡,从而提高电路模拟性能和速度,并最终建立一个高效稳定可靠的适合于超大规模集成电路设计的并行逻辑模拟系统。本文采用并行和逻辑模拟技术,完成了以下工作:（1）提出了并行逻辑模拟的研究思路,通过分散模拟工作量到并行机的多个处理器或普通工作站网络,减少了模拟时间,并提出了前端编译模块设计思想和实现方法。（2）提出了一种新的相关性消息取消方法。该方法在对并行逻辑模拟中的乐观同步机制和实现方法研究的基础上,通过回退策略中的消息取消方法实现相关性消息取消。（3）提出了一种静态划分与分配相结合的并行逻辑模拟划分方法。该方法通过解决并行逻辑模拟中的负载平衡,节省了资源,提高了并行逻辑模拟性能。（4）提出了一种新的基于时间偏差协议的动态负载平衡算法和一种新的模拟中负载度量方法,并提出了改善迁移性能的几种策略。（5）设计并开发了针对硬件描述语言的并行逻辑模拟系统的可视化测试平台。该平台能够针对模拟环境进行参数设计,为使用者提供了方便的用户环境,使模拟过程易于操作。
王世好,王歆民,刘明业[7]（2005）在《嵌入式系统软硬件协同验证中软件验证方法》文中研究表明随着集成电路及计算机技术的发展,嵌入式系统设计变得越来越复杂.复杂的嵌入式系统设计,通常采用验证的手段检验系统设计的正确性,硬件验证通常是在硬件设计描述的基础上建立用于模拟硬件功能的硬件模拟器;软件验证常用的方法是建立处理器功能模型（指令集模拟器ISS）,逐条解释嵌入式软件在目标机器上的执行过程,产生模拟输出,驱动外围电路（即硬件设计）.指令集模拟器从底层时序关系模拟嵌入式软件在目标CPU上运行过程.对于复杂嵌入式系统设计,ISS模拟速度通常成为协同模拟瓶颈.基于RTOS的嵌入式软件快速验证方法可以有效地提高软件模拟速度,扩展RTOS功能,适应协同模拟需要,建立硬件模拟驱动,实现软件和硬件模拟器通信连接和协同模拟同步控制.基于RTOS的嵌入式软件验证方法以编译代码模型为基础,从系统行为级验证嵌入式软件功能,验证速度快.在实际应用中。该方法和ISS验证相结合,能够实现更有效、更快速的嵌入式系统协同验证.最后以几个典型硬件设计为基础,编写相应的控制软件,进行软硬件协同验证实验,实验结果数据说明该验证方法实用、有效、快速.
严迎建,刘明业[8]（2005）在《片上系统设计中软硬件协同验证方法的研究》文中提出讨论一种面向片上系统（SOC）设计的基于指令集模拟器和硬件模拟器的软硬件协同验证方法。该方法能够在SOC设计的早期对整个系统功能进行验证,能够为设计者提供一个纯虚拟的软硬件协同验证环境。重点讨论协同模拟过程中软硬件交互事件的产生和处理方法,以及软硬件模拟器之间的同步和优化方法,并且给出了事件驱动硬件模拟器的协同模拟控制算法。最后给出了一个基于ARM7TDMI的设计验证实例。
周喜明,吴悦杨,洪斌,孔健[9]（2004）在《VHDL逻辑级模拟系统中模拟模块的设计和实现》文中研究表明介绍了VHDL逻辑级模拟系统中模拟模块的设计和实现。模拟模块引入一种改进后的事件驱动模拟算法,该事件驱动模拟算法采用时间列表和信号列表双重检索的组织结构,能够显着减少检索事件的时间,并在计算元件负载和模拟周期推进等方面进行了优化。实验结果表明,模拟系统能正确、高效地对VHDL电路模型进行模拟。
严迎建,刘明业[10]（2004）在《基于ISS和硬件模拟器的协同模拟关键技术研究》文中研究表明提出一种在嵌入式系统软硬件协调设计中对系统功能进行验证的软硬件协同模拟方法 该方法使用指令集模拟器 （ISS）和事件驱动硬件模拟器分别完成软硬件的模拟 ,并采用C ++语言构造处理器的总线功能模型 ,实现软硬件模拟器的信息交互 重点讨论指令集模拟器、总线功能模型以及硬件模拟器协同模拟接口的设计与实现方法 ,同时还给出了软硬件模拟器之间的同步算法
二、VHDL编译型事件驱动模拟算法（论文开题报告）
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要提出一款精简64位RISC处理器存储管理单元结构并详细分析其设计过程。在该MMU结构中,TLB采用叁个分离的TLB,TLB采用基于内容查找的相联存储器并行查找,支持粗粒度为64KB和细粒度为4KB两种页面大小,采用多级分层页表结构映射地址空间,并详细论述了四级页表转换过程,TLB结构组织等。该MMU结构将作为该处理器存储系统实现的一个重要组成部分。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
三、VHDL编译型事件驱动模拟算法（论文提纲范文）
（1）基于VHDL的可编程逻辑器件虚拟实验平台（论文提纲范文）
| 0 引言 |
| 1 虚拟实验平台总体设计 |
| 2 VHDL翻译模块 |
| 3 VHDL模拟调度模块 |
| 4 实验验证 |
| 5 总结 |
（2）基于VHDL的可编程逻辑器件虚拟实验平台的设计与实现（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 研究背景 |
| 1.2 国内外研究现状 |
| 1.3 主要研究工作 |
| 2 VHDL 模拟总体方案 |
| 2.1 VHDL 仿真与综合 |
| 2.2 VHDL 子集提取 |
| 2.3 可编程逻辑器件虚拟实验平台方案 |
| 2.4 本章小结 |
| 3 VHDL 翻译模块实现 |
| 3.1 翻译模块设计方案 |
| 3.2 翻译模块详细设计 |
| 3.3 翻译模块实现 |
| 3.4 本章小结 |
| 4 模拟调度模块实现 |
| 4.1 模拟调度模块设计方案 |
| 4.2 模拟调度模块详细设计 |
| 4.3 模拟程序与用户界面交互 |
| 4.4 本章小结 |
| 5 系统实现与实验结果分析 |
| 5.1 可编程逻辑器件虚拟实验平台实现 |
| 5.2 实验验证 |
| 5.3 本章小结 |
| 6 总结与展望 |
| 6.1 全文总结 |
| 6.2 展望 |
| 致谢 |
| 参考文献 |
| 附录：四位移位寄存器VHDL 源程序 |
（3）嵌入式系统协调设计与协同模拟技术（论文提纲范文）
| 1 嵌入式软硬件协调设计方法 |
| 2 硬件验证方法 |
| 3 软件验证方法 |
| 4 结论 |
（5）基于ABEL语言的可编程逻辑器件仿真研究（论文提纲范文）
| 摘要 |
| Abstract |
| 1 绪论 |
| 1.1 课题背景 |
| 1.2 国内外相关研究 |
| 1.3 主要研究工作 |
| 2 理论研究基础 |
| 2.1 虚拟教学实验室的理论研究 |
| 2.2 电路模拟技术研究 |
| 2.3 ABEL 电路结构 |
| 2.4 面向对象分析方法 |
| 2.5 本章小结 |
| 3 编译模块的设计与实现 |
| 3.1 ABEL 语言 |
| 3.2 编译模块的结构 |
| 3.3 中间文件格式 |
| 3.4 语法和语义分析 |
| 3.5 本章小结 |
| 4 模拟调度模块的设计与实现 |
| 4.1 模拟调度模块的结构设计 |
| 4.2 模拟调度算法 |
| 4.3 模拟调度模块的实现 |
| 4.4 波形显示的实现 |
| 4.5 本章小结 |
| 5 系统验证 |
| 5.1 算术逻辑单元(ALU) |
| 5.2 汽车尾灯控制器 |
| 5.3 本章小结 |
| 6 结束语 |
| 6.1 全文总结 |
| 6.2 进一步工作 |
| 致谢 |
| 参考文献 |
| 附录一 算术逻辑单元的描述代码 |
| 附录二 汽车尾灯控制器的描述代码 |
（6）基于硬件描述语言的并行逻辑模拟系统研究与实现（论文提纲范文）
| 第一章 绪论 |
| 1.1 论文研究的背景 |
| 1.2 论文研究的意义 |
| 1.3 论文相关知识介绍 |
| 1.4 论文研究的主要工作 |
| 第二章 并行逻辑模拟系统的整体构成 |
| 2.1 并行逻辑模拟系统组成和结构 |
| 2.2 并行编程模型和并行算法设计 |
| 2.3 几种主要的并行逻辑模拟方法 |
| 2.4 影响并行逻辑性能的因素分析 |
| 2.5 本章小结 |
| 第三章 前端编译模块的设计和实现 |
| 3.1 VHDL 语言描述规范 |
| 3.2 语法分析自动生成工具集PCCTS 简介 |
| 3.3 编译模块的设计 |
| 3.4 词法、语法分析器的设计和实现 |
| 3.5 中间语法树的设计和生成 |
| 3.6 模拟数据结构的设计和生成 |
| 3.7 本章小结 |
| 第四章 时间偏差协议研究 |
| 4.1 PDES 同步机制 |
| 4.2 时间偏差协议的研究 |
| 4.3 时间偏差协议的同步控制机制 |
| 4.4 时间偏差协议的优化策略研究与比较 |
| 4.5 相关性消息取消方法实现 |
| 4.6 本章小结 |
| 第五章 划分算法的研究与实现 |
| 5.1 划分的基本概念 |
| 5.2 影响划分结果的因素的分析 |
| 5.3 逻辑电路划分模型的表示方法 |
| 5.4 进程图的生成 |
| 5.5 进程图的数据结构 |
| 5.6 划分算法接口的数据结构 |
| 5.7 几种典型的划分算法 |
| 5.8 对并行性保存划分算法的改进 |
| 5.9 针对静态划分与分配相结合的划分算法的设计 |
| 5.10 运行与测试 |
| 5.11 本章小结 |
| 第六章 动态负载平衡技术研究和实现 |
| 6.1 动态负载平衡技术 |
| 6.2 并行VHDL 模拟中动态负载平衡模型的构建 |
| 6.3 并行VHDL 模拟中动态负载平衡的实现 |
| 6.4 动态负载平衡性能分析 |
| 6.5 本章小结 |
| 第七章 基于硬件描述语言的并行逻辑模拟系统应用平台 |
| 7.1 系统介绍 |
| 7.2 逻辑模拟平台主界面 |
| 7.3 系统功能详细说明 |
| 7.4 运行实例 |
| 第八章 总结与展望 |
| 8.1 本文工作总结 |
| 8.2 进一步工作展望 |
| 参考文献 |
| 攻读博士学位期间从事科研工作及取得的成果 |
| 致谢 |
（7）嵌入式系统软硬件协同验证中软件验证方法（论文提纲范文）
| 1 引言 |
| 2 软件验证方法 |
| 3 软件验证代码的实现 |
| 4 软硬件的通信与同步 |
| 5 验证实例及分析 |
| 6 结论 |
（9）VHDL逻辑级模拟系统中模拟模块的设计和实现（论文提纲范文）
| 1 引言 |
| 2 事件驱动模拟算法 |
| 3 事件驱动模拟算法的改进 |
| 4 模拟模块实现过程中的关键问题 |
| 4.1 模拟过程中的延迟处理 |
| 4.2 统计触发语句 |
| 4.3 模拟流程 |
| 4.4 模拟模块中的数据结构 |
| 5 模拟系统验证 |
| 6 结束语 |
（10）基于ISS和硬件模拟器的协同模拟关键技术研究（论文提纲范文）
| 1 引 言 |
| 2 基于ISS和事件驱动硬件模拟器的协同模拟实现方法 |
| 2.1 总体框架 |
| 2.2 ISS的设计与实现 |
| 2.3 BFM构造 |
| 2.4 事件驱动硬件模拟器 |
| 3 软硬件模拟器的同步 |
| 4 实例分析 |
| 5 结束语 |
四、VHDL编译型事件驱动模拟算法（论文参考文献）
- [1]基于VHDL的可编程逻辑器件虚拟实验平台[J]. 唐九飞,刘宇环,于俊清. 科技通报, 2012(07)
- [2]基于VHDL的可编程逻辑器件虚拟实验平台的设计与实现[D]. 刘宇环. 华中科技大学, 2011(07)
- [3]嵌入式系统协调设计与协同模拟技术[J]. 张俊霖,王世好. 电脑知识与技术, 2010(12)
- [4]面向RTL的VHDL语言模拟系统设计与实现[J]. 孙凌宇,冷明,魏斯民,杨威. 微电子学与计算机, 2010(02)
- [5]基于ABEL语言的可编程逻辑器件仿真研究[D]. 曾伟. 华中科技大学, 2008(05)
- [6]基于硬件描述语言的并行逻辑模拟系统研究与实现[D]. 吴悦. 上海大学, 2006(01)
- [7]嵌入式系统软硬件协同验证中软件验证方法[J]. 王世好,王歆民,刘明业. 计算机研究与发展, 2005(03)
- [8]片上系统设计中软硬件协同验证方法的研究[J]. 严迎建,刘明业. 电子与信息学报, 2005(02)
- [9]VHDL逻辑级模拟系统中模拟模块的设计和实现[J]. 周喜明,吴悦杨,洪斌,孔健. 微电子学与计算机, 2004(03)
- [10]基于ISS和硬件模拟器的协同模拟关键技术研究[J]. 严迎建,刘明业. 计算机辅助设计与图形学学报, 2004(04)