检索结果-南通市图书馆

基于增量编译的DSP内核IP的FPGA验证

在线全文

学校读者我要写书评

暂无评论

基于增量编译的DSP内核IP的FPGA验证

作者：陈旭超西安电子科技大学

学位级别：硕士

FPGA原型验证的出现极大地提高了芯片验证的效率。使得设计人员能够在短时间内测试大量的程序，及早的发现设计中的错误。但同时这种大规模芯片的验证使得软件编译时间越来越长，即使小的改动，也要连同没有修改的部分一起重新编译，浪... 详细信息

FPGA原型验证的出现极大地提高了芯片验证的效率。使得设计人员能够在短时间内测试大量的程序，及早的发现设计中的错误。但同时这种大规模芯片的验证使得软件编译时间越来越长，即使小的改动，也要连同没有修改的部分一起重新编译，浪费了时间，降低了验证效率。本文在对XXX DSP内核IP验证的过程中，引入了增量式设计，将设计按照不同功能、关键时序路径等进行了设计分区，每次修改设计后，再次编译时，软件会根据设计人员指定的分区网表类型，继承上一次编译的结果，只重新编译修改过的设计分区，极大地缩短了再次编译的时间，提高了FPGA验证的效率。本文具体工作如下：首先，通过研究增量编译的原理和设计方法，确定了通过Quartus II软件导出IP的方法以及使用IP的方法。其次，完成了ASIC设计到FPGA设计的代码转换工作，并通过功能验证的方法，保证了代码转换在行为级的正确性。接着，在成功导出DSP内核IP的基础上，采用增量式设计基于LMB总线搭建了IP验证环境，包括时钟模块、IP模块以及外部指令存储体模块。其中外部指令存储体模块又包含了从设备接口逻辑和存储体逻辑。从设备接口逻辑除了Split传输外，支持LMB总线的所有传输类型，如字节传输、半字传输、字传输、双字传输、读改写以及2、4、8节拍块传输。存储体逻辑实际上是一个ROM，宽度64bits，深度2048，是使用可综合的RTL编写的。最后，采用应用程序测试的方法，在XXX型高性能DSP IP FPGA性能评估系统硬件平台上，验证了XXX DSP内核IP的功能，并在验证过程中充分展现了增量编译的优势，提高了FPGA的验证效率。

关键词：增量编译 IP核 FPGA 验证

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

TTCN-3语言增量编译器的设计与实现

TTCN-3语言增量编译器的设计与实现

作者：蒋彪中国科学技术大学

学位级别：硕士

本文深入探讨了基于TTCN-3语言的增量编译技术,并结合TTCN-3语言的特点,详细阐述了增量编译器的设计与实现。文章中在深入研究了实验室已实现的编译器的基础上,通过对目前的增量编译技术的分析与比较,提出了与TTCN-3语言特点紧密结合的... 详细信息

本文深入探讨了基于TTCN-3语言的增量编译技术,并结合TTCN-3语言的特点,详细阐述了增量编译器的设计与实现。文章中在深入研究了实验室已实现的编译器的基础上,通过对目前的增量编译技术的分析与比较,提出了与TTCN-3语言特点紧密结合的增量编译技术。在具体介绍增量编译器的设计与实现时,本文首先对增量编译技术作了一般性的讨论;然后在详尽的分析研究基础上,并结合TTCN-3语言的语言特点,详细阐述了中间文件和交叉引用表的结构、增量静态语义检查、符号表的扩展和改进的代码生成机制;最后,给出了整个增量编译器的总体结构以及实现时用的内存管理方案。针对原有编译器的代码生成在实现上存在的紧耦合,高冗余的问题,本文对原有编译器的代码生成机制作了重大优化,并按照当今软件工程的结构化与模块化的思想进行了重新的设计与实现,本文对此也作了详细的介绍。本文在实验室已完成的TTCN-3编译器的基础上已实现了增量编译器的原型。

关键词： TTCN-3 增量编译编译技术增量计算

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

构造并行化系统交互环境的若干关键技术

软件学报 2001年第5期12卷 698-705页

作者：杨博王鼎兴郑纬民清华大学计算机科学与技术系北京100084

交互式并行化系统通过提供友好的交互功能并引入用户知识来协助程序的并行化 ,是解决自动并行化能力不足的一条有效途径 .描述了一个并行化系统交互环境 TIPSIE(interactive environment of Tsinghua interac-tive parallelizing system... 详细信息

交互式并行化系统通过提供友好的交互功能并引入用户知识来协助程序的并行化 ,是解决自动并行化能力不足的一条有效途径 .描述了一个并行化系统交互环境 TIPSIE(interactive environment of Tsinghua interac-tive parallelizing system) ,并就构造该环境的性能预测、增量编译和数据相关查询等关键技术进行了讨论 .实验结果表明。

关键词：增量编译数据相关查询性能预测交互式并行化系统编译程序

在线全文

学校读者我要写书评

暂无评论

一个交互式的Fortran77并行化系统

软件学报 1999年第12期10卷 1259-1267页

作者：陈文光杨博王紫瑶郑丰宙郑纬民清华大学计算机科学与技术系北京100084

并行化编译器可以把现有的串行程序自动或半自动地转换为并行程序 .现有并行化系统的自动并行化效果与手工并行化的效果相比还有一定的差距 ,这是由于并行化工具的分析能力不足以及程序中所固有的语义信息无法被并行化工具所理解而造成... 详细信息

并行化编译器可以把现有的串行程序自动或半自动地转换为并行程序 .现有并行化系统的自动并行化效果与手工并行化的效果相比还有一定的差距 ,这是由于并行化工具的分析能力不足以及程序中所固有的语义信息无法被并行化工具所理解而造成的 .TIPS(Tsinghua interactiveparallelizing system)系统通过提供一些友好的交互式工具 ,使用户与编译器紧密协作 ,是提高并行化系统的能力和效率的一条有效途径 .

关键词：并行化编译器增量编译 Fortran77 并行程序

面向FPGA应用的硬件木马植入与检测技术研究

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2021年第20期57卷 119-124页

作者：姜佩贺王晨旭郭刚位寅生山东渔翁信息技术股份有限公司山东威海264200 烟台大学光电信息科学技术学院山东烟台264005 哈尔滨工业大学电子与信息工程学院哈尔滨150001

近年来,FPGA的应用愈加广泛。为确保FPGA中数据安全可信,在基于环形振荡器的硬件木马检测方法之上,提出一种在Altera FPGA中使用增量编译技术实现环形振荡器和木马植入的方法以及使用归一化差值算法发现并定位木马的数据分析方法。设计... 详细信息

近年来,FPGA的应用愈加广泛。为确保FPGA中数据安全可信,在基于环形振荡器的硬件木马检测方法之上,提出一种在Altera FPGA中使用增量编译技术实现环形振荡器和木马植入的方法以及使用归一化差值算法发现并定位木马的数据分析方法。设计基于环形振荡器的硬件木马检测电路,根据系统规模共部署6级振荡环,每级环形振荡器由121个与非门构成。根据木马电路类型和功耗来源,在电路中依次植入四种典型硬件木马,使用归一化差值算法分析环形振荡器振荡频率,最终实现所有类型的木马定位与检测。检测结果表明,基于环形振荡器的硬件木马检测方法在FPGA中具有很好的木马检出效果,不仅能够检测具有较大动态功耗的木马,也可以完成对具有很小的静态功耗木马的检测。所提出的方法已经在实际FPGA工程中使用,为及时发现木马提供了一种有效途径。

关键词：硬件木马 FPGA 环形振荡器增量编译归一化差值算法

在线全文

学校读者我要写书评

暂无评论

核心语言POP-11

计算机科学 1987年第3期 30-35页

作者：铃木三逹杨逢春

POP-11是POPLOG的主体。在介绍核心语言POP-11之前,我们有必要大概地谈一谈国外的动态,借以说明为什么把POPLOG称为第五代软件。在英国,POPLOG特别受到重视,其基本思想是目前正在进行开发的软件人员利用现有机器和软件资源很快就会取得... 详细信息

POP-11是POPLOG的主体。在介绍核心语言POP-11之前,我们有必要大概地谈一谈国外的动态,借以说明为什么把POPLOG称为第五代软件。在英国,POPLOG特别受到重视,其基本思想是目前正在进行开发的软件人员利用现有机器和软件资源很快就会取得研究成果。这就是核心语言POP-11的基本思想,它无非是立足现在,展望未来的一种挑战。我们也充分了解到,这种挑战并不象神话中人工智能勇士所幻想那样,一步可以登上天的。

关键词： POP-11 定义变元 length Prolog 人工智能程序包爱丁堡大学软件资源字符串基本型生物群落型增量编译

在Micro VAXⅡ上开发语法制导编辑器的生成器

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

微处理机 1988年第4期 53-57页

作者：马万里陈意云中国科学技术大学中国科学技术大学

编辑器负责接受用户的输入,并把它们以适当的形式保存起来。最常用的正文编辑器不具备程序设计语言的任何知识,编辑用户程序显得不足。语法制导编辑器(SDE)则根据程序设计语言的语法结构进行编辑,可保证用户程序的语法、语义正确性。本... 详细信息

编辑器负责接受用户的输入,并把它们以适当的形式保存起来。最常用的正文编辑器不具备程序设计语言的任何知识,编辑用户程序显得不足。语法制导编辑器(SDE)则根据程序设计语言的语法结构进行编辑,可保证用户程序的语法、语义正确性。本文结合我们的工作,首先全面介绍语法制导编辑器,然后再介绍其生成器——语法制导编辑器生成器(SDEG),以及如何由生成器来生成具体的语法制导编辑器。

关键词： Micro VAX 语法树用户程序程序设计语言语义检查增量编译函数库介绍语可移植性描述信息