VHDL面向RTL可综合子集的检查与优化

来源 :清华大学 | 被引量 : 0次 | 上传用户:yaoyaolf
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
VHDL面向RTL级可综合子集的检查与优化实现受到国家211工程的支持.研究人员对VHDL面向RTL级可综合子集的检查与优化的实现进行了大量的测试,测试用例尽量包含了VHDL语言可以被检查与优化的各个方面.运行结果经过计算和检验证明是正确的.在Sun Sparc20的工作站上实现.编译部分采用的是一遍编译,时间占用上是随着电路规模的增长而呈线形递增的.在电路规模较大时也能够迅速地检查设计正确与否并且迅速地做出优化结果.交互部分采用perl语言编程.大量测试结果表明,研究人员构造的HVDL面向RTL级可综合子集的检查与优化的实现,其总体构思和算法是合理的,覆盖了VHDL语言的大部分语法和语义,能够在RTL级上进行了检查与优化,基本上达到了预期的功能要求.
其他文献
随着互联网技术的迅速发展,网络上可用的信息资源呈现爆炸式增长,给人们带来便利的同时也带来分辨信息类型的难题。传统信息检索系统满足了人们对检索的基本要求,但却逐渐暴露出
该文首先给出了DQM模型的理论基础和提出背景:CIS的有关概念、数据质量的概念、数据质量尺度、数据质量的评估以及数据制造和数据产品的概念等,然后详细描述了DQM模型的具体
该文试图从软件工程的角度对人机界面学的有关概念和方法做出改进.帮助系统的体系结构,或者简称帮助结构,是评价一个帮助系统的核心所在.对于体系结构本身有缺陷或者可使用范
该文在充分研究对象建模技术的基础上,结合通信软件的特点,提出了面向通信软件的图示化对象建模技术GOMT.完成对通信软件的分析与建模.用对象模型和动态模型描述通信软件中的
该文从构造高性能的磁盘阵列的目标出发,对磁盘阵列的缓存财度和工程化设计进行了深入研究,内容涉及理论研究和实际的产品开发实践.主要包括:磁盘控制软件主要工能模块的分析
随着信息技术的广泛应用,许多企业开始组建自己的企业网络系统.作为计算机应用的一个重要领域,网络技术对企业经营管理起到了巨大的作用.然而,由于计算机网络技术在最近数年
计算机可以应用在动画制作中的很多方面,该文提出了一种在动画制作前期利用计算机代替手工翻片来进行动检的方案--点睛动检台软件.这种方案避免了传统手工方式因人工因素所引
空间流体实验具有无人操作的特殊性,需要对监控图像进行实时处理,得到观察对象的特性参数(例如体积、表面积等),再通过控制系统控制观察对象的特性。本课题研究了利用CCD捕捉
该文提出了对象关系数据管理模型(ORDMM),并在此基础上进一步提出了分布式对象关系数据管理模型(DORDMM).上述模型的建立使得应用程序可以同时通过关系和对象的方式对数据库
数字图象压缩编码技术是可视信息通信与交换的关键技术之一.个人通信对可视信息的要求,有GSTN网和INTERNET网的广泛分布促进了低码率视频压缩编码技术的发展及其标准化.该文