寄存器传输级相关论文
一、培养集成电路设计人才面临的问题近年来,随着专用集成电路(ASIC,Application Specific Integrated Circuit)尤其是片上系统(S......
一个数字系统在使用的过程中要经历无数次的测试和诊断过程,测试和诊断要求快速,有效(故障覆盖率高).解决问题的方法是将测试变成......
在对数字信号进行高速实时处理SOC芯片中,常常需要DSP核作为其主要的IP单元。C32浮点型DSP处理器是面向数字信号处理的,具有高度的......
随着芯片密度的不断增加和对可靠性要求的不断提高,嵌入式系统的容错设计越来越受到关注.直接的复制比较策略将导致大量的硬件开销......
给出了寄存器传输级工艺映射(RTLM)算法,该方法支持使用高层次综合和设计再利用的现代VLSI设计方法学,允许复杂的RT级组件,尤其是......
RS总线集成电路在航空航天及工业控制领域具有广泛的应用,随着集成电路硬件木马的检测成为研究热点,作为总线硬件木马研究领域的分......
本文介绍了如何用PSL语言进行基于断言的仿真和形式验证.这是现在芯片设计领域广泛采用的高效验证方法,可以极大地缩短验证时间.......
给出了用库中的一组存储器模块来综合一个源存储器模块的方法，该方法支持使用高层次综合和设计再利用的现代VISI设计方法学。定义存......
随着深亚微米技术的发展，功耗已经成为现代超大规模集成电路设计中的一个主要设计约束．本文在设计多点控制协议MPCP模块中，采用插入门......
在基于功能仿真进行集成电路低功耗设计和研究中，往往需要通过获取电路节点的翻转信息来评估设计电路的功耗并指导相应的优化工作，论......
系统芯片功耗动态评估往往需要仿真不同的向量集,估算速度慢;为减少SoC功耗估算时间,结合压缩感知优越的稀疏表示能力,设计一种快......
针对寄存器传输级(register transfer level,RTL)行为的抽象,提出了一种层次化的带条件的表示.这种抽象的行为是面向测试的,它不仅......
针对目前已有的高层电路模型普遍没有很好地同时体现描述电路的可控性、可观性和时序信息，本文从电路RTL行为描述抽象出一种CRG电路......
为了提高嵌入式系统的集成度，降低系统成本，设计出一款16位复杂指令集微控制器软核IP．可以集成予FPGA内部。该设计采用基于寄存器传输......
在超大规模集成电路设计过程中 ,门级故障仿真通常因仿真速度太慢而不能满足市场需求 ,因此近年来寄存器传输级 (RTL)故障仿真成了......
采用线性规划作为基本工具开发一个RTL可满足性求解器，并将其应用于解决RTL性质检验问题．深入研究了使用线性规划约束对RTL电路元器......
当今芯片产业竞争激烈，速度低、面积大、功耗高的产品难以在市场中占有一席之地。Viterbi解码器作为一种基于最大后验概率的最优化......
在USB Open Core的基础上，对USB接口引擎进行RTL级的Verilog HDL语言功能设计和FPGA兑现验证。主要介绍了USB通讯协议的基本原理，根......
在简述SystemC的设计方法和流程的基础上，针对SystemC在硬件芯片系统级设计和寄存器传输级设计的特点，以Turbo编码器为对象和开发目......
针对IC前端设计中的关键技术，即将寄存器传输级（RTL）描述的手工综合成门级网表，通过人工参与的方式，运用数字电路设计知识将行为级代码......
英商ARM公司与TSMC10月18日共同宣布，已顺利完成首件采用20纳米工艺技术生产的ARMCortex—A15处理器设计定案（TapeOut）。该定案是由TS......
随着集成电路工艺技术的发展,连线延时将逐渐主导系统的性能,传统的高层次综合方法已经不能满足设计的需要.文章讨论了寄存器传输......
针对寄存器传输级(RTL)验证和测试过程中非常重要的数据通路可满足性求解问题,提出一种基于二元约束满足问题(CSP)的求解方法,包括......
讨论在RTL综合中重用高级综合中控制器综合技术的可行性。提 出一种通过将RTL描述划分为时序逻辑与组合逻辑后，重用控制器综合中的......
设计并实现了一个RTL覆盖率驱动的验证框架HRV ,它集成了自主开发的基于程序切片技术的设计抽取器、基于VCD文件的代码覆盖率分析......
交易级建模在系统功能建模和验证方面可以增快速度,也可以加速仿真的速度并允许在高层次抽象中研究和确认设计中可供选择的模块.针......
提出寄存器传输级工艺映射 (RTLM)算法 ,该算法支持使用高层次综合和设计再利用的现代VLSI设计方法学 ,允许复杂的RT级组件 ,尤其......
RTL混合可满足性求解方法分为基于可满足性模理论(SMT)和基于电路结构搜索两大类.前者主要使用逻辑推理的方法,目前已在处理器验证......
在分析了USB 2.0协议层通信原理的基础上,采用模块划分方法,将协议层划分为3个主要模块,运用Verilog HDL语言完成了RTL(寄存器传输......
提出利用RTL数据通路中加法器、减法器、乘法器作为一种产生测试向量硬件的方法，对被测模块进行测试，以降低硬件开销。实验结果表明，......
为提高可扩展处理器体系结构（SPARC）的设计抽象层次和仿真速度，设计一种符合第8版SPARC（SPARCV8）的事务级模型。该模型基于TLM2．0标准，采......
为快速有效地对集成电路设计中潜在的常见错误进行检测，提出一种基于静态分析的错误检测方法。该方法可以自动地提取待测寄存器传输......
基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人......
随着移动设备需求量的不断增大和芯片工作速度的不断提高,芯片的功耗已经成为电路设计者必须考虑的问题,对于芯片整体性能的评估已......
本文提出了几个在编写可综合代码时应注意的问题,并给出了参考意见.例如敏感表、赋初值的方法及资源共享等问题.......
针对目前已有的高层电路模型普遍没有很好的同时体现描述的可控性和可观性,本文从时序电路RTL行为描述抽象出一种CRG电路模型.并在......
寄存器传输级建模在数字电路设计、仿真、验证过程中应用广泛。在介绍使用SystemC进行数字电路设计的优势后,详细阐述了基于System......
针对现场可编程门阵列内部复杂算术操作资源有限、资源占用面积较大以及RTL级（寄存器传输级）综合中面积优化大多仅针对一般逻辑操作......
随着集成电路技术与工艺的不断发展,目前工业界所采用的形式验证工具已很难适应集成电路规模的飞速增长.为了对RTL电路的可满足性......
离散余弦变换(DCT)及其反变换(IDCT)在图像编解码方面应用十分广泛,至今已被JPEG、MPEG-1、MPEG-2、MPEG-4和H.26x等国际标准所采......
集成电路(Integrated Circuit,简称IC)的设计验证和测试是确保数字系统正常工作的必要手段。无论是设计验证还是芯片测试,测试生成......
SRAM型FPGA具有开发成本低，高密度等特性，使得其逐步应用到航空航天领域，但由于SRAM型FPGA是易失性存储，很容易受到单粒子效应的影响。......
集成电路产业的日新月异的发展和集成电路设计方法的不断提高互为因果，是理论与实践相互支持的良好典范。而随着IC设计自动化程度的......
无线通信技术的不断发展使其对数字信号处理平台的处理速度和易升级性有很大的要求。FPGA阵列结构已经成为取代传统的ASIC多芯片结......
随着集成电路设计技术的发展,其相应的测试也变得十分重要。测试生成为测试过程中的一个重要环节。本文首先综述了当前基于集成电......
设计并实现了一种面向寄存器传输级的VHDL语言模拟系统(RTL-based VHDL Simulator,RVS).介绍了RVS系统的处理流程和组成模块.RVS系......
