分享到:

RTL组合电路描述的Verilog HDL编译器的设计

设计了一个针对 ISCAS 85/89Benchmark,用于 RTL组合电路 Verilog HDL描述的编译器。这个编译器可以作为 RTL电路测试研  (本文共5页) 阅读全文>>

湖南大学
湖南大学

基于RTL描述的组合电路自动测试生成技术研究

集成电路设计已经广泛使用HDL硬件描述语言作为输入,RTL(寄存器传输级)电路描述介于行为描述和逻辑门级描述之间,既具有电路功能的信息,又能体现电路具体结构实现,这使得基于结构的电路测试方法有可能在RTL级进行推广或改造,同时,行为级的测试方法也有可能与基于结构的测试方法相结合,产生新的测试方法。近年来,国际上涌现了许多基于结构的或基于行为的RTL测试方法,它们基于各种不同的故障模型和测试理论,取得了一些比较好的效果,但是,都没有得到普遍的接受。过去,国内对电路测试的研究主要集中在门级测试,对RTL测试的研究才刚刚开始。本文利用RTL电路描述的功能和结构信息,通过对组合电路RTL描述中信号线矢量特点的分析,提出了一种利用矢量特性简化测试的测试方法。该方法以结构测试的测试技术为基础,把功能描述和结构测试生成方法结合,为RTL级电路的测试提出了一些新的思路。在RTL组合电路结构分析的基础上,本文提出了基本相似电路(BSC,Basic...  (本文共63页) 本文目录 | 阅读全文>>

《小型微型计算机系统》2006年01期
小型微型计算机系统

基于混合遗传算法的RTL激励生成

寄存器传输级(RTL)描述是目前应用最广泛的电路设计描述形式.在时序电路的RTL激励生成中,基于模拟的方法避免了帧扩展法庞大的搜索空间,但采用该方法常存在向量过...  (本文共5页) 阅读全文>>

《工程设计学报》2002年01期
工程设计学报

单率异步数据流语言的RTL文法设计

数据流语言是面向虚拟仪器的可视化编程环境的核心 .为了使这些基于数据流的编程环境能够应用到实时系统设计中 ,必须引入一种严格定义的实时文法 .RTL文法适合...  (本文共5页) 阅读全文>>

《东北师大学报(自然科学版)》1989年02期
东北师大学报(自然科学版)

有限自动机M的RTL描述

1 前言有限自动机是一个五元组:M=〈X,S,Z,F,G〉其逻辑结构如图1所示。其中;输入向量 X_i={x_1,x_2,…,X_n}是变量...  (本文共5页) 阅读全文>>

哈尔滨工业大学
哈尔滨工业大学

基于联合仿真的RTL级故障行为研究

随着芯片制造工艺的进步以及芯片制造行业对摩尔定律的恪守,芯片尺寸已经进入纳米级的标准了,但是,芯片工作电压并没有因此而同比减小,从而导致了工作电流密度和工作温度的升高。这使处理器在引发瞬时故障外,更易引发间歇故障,加大了对处理器的威胁。基于仿真的故障注入具有良好的可观察性和可控性,但是传统的仿真方法只能在硬件层面观察故障行为,对故障的向上层传播以及在应用级的表现的观察无能为力。软硬件联合仿真的方法克服了这一局限,成为集成电路设计中的主流验证方法。本文研究了联合仿真验证环境,基于OpenSPARC开源项目的两个模拟器,搭建了联合仿真的故障注入和故障分析平台,实现了在寄存器传输级模拟器中注入故障,并在微结构级、结构级、处理器级以及应用程序级上观察故障的表现与传播,对处理器的可靠性提供量化评价指标。本文首先分析了在OpenSPARC联合仿真验证环境中的寄存器传输级模拟器和结构级模拟器,研究了联合仿真环境下模拟器的交互方式,并在此基础上...  (本文共62页) 本文目录 | 阅读全文>>

《华南理工大学学报(自然科学版)》2013年06期
华南理工大学学报(自然科学版)

优先级资源共享在RTL综合中的实现

针对现场可编程门阵列内部复杂算术操作资源有限、资源占用面积较大以及RTL级(寄存器传输级)综合中面积优化大多仅针对一般逻辑操作的问题,提出了一种优先级资源共享方法.该方法通过改进...  (本文共5页) 阅读全文>>