寄存器传输级

作品数：80被引量：70H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：李晓维蔡懿慈周强边计年吴为民更多>>
相关机构：清华大学中国科学院海光信息技术股份有限公司湖南大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家科技重大专项更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
寄存器传输级硬件设计信息流建模与安全验证
《西北工业大学学报》2024年第3期506-513,共8页秦茂源 侯佳滢 李家乐 唐时博 邰瑜 
国家自然科学基金(U23B2041,62074131);西安市碑林区科技计划(GX2136);陕西省科技计划(2022JM-379)资助。
近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化...
关键词：硬件安全 信息流安全模型 信息流安全验证 安全漏洞检测 
面向寄存器传输级设计阶段的高效高精度功耗预测模型被引量：1
《电子与信息学报》2023年第9期3166-3174,共9页李康 师瑞之 陈嘉伟 史江义 潘伟涛 王杰 
功耗已成为电路设计的关键性能目标之一,现有商业工具PrimeTime PX(PTPX)的功耗预精度高,但是运行时间长,且仅面向已经生成网表的逻辑综合或者物理实现阶段。因此,降低功耗分析时间,且前移功耗预测在芯片设计中的环节变得尤为重要。该...
关键词：功耗预估 卷积神经网络 寄存器传输级 超大规模集成电路 
一种时序型总线硬件木马的植入与检测被引量：4
《计算机工程》2021年第3期160-165,共6页黄姣英 李胜玉 高成 杨达明 
“十三五”技术基础科研项目(JSZL2017601B011)。
RS总线集成电路在航空航天及工业控制领域具有广泛的应用,随着集成电路硬件木马的检测成为研究热点,作为总线硬件木马研究领域的分支,其设计越来越受关注。在常规时序型硬件木马的基础上,针对RS232总线集成电路,设计一种基于可逆计数器...
关键词：RS232总线 硬件木马 寄存器传输级 Verilog代码 集成电路 
软硬件协同设计的SEU故障注入技术研究被引量：4
《电子学报》2018年第10期2534-2538,共5页王晶 荣金叶 周继芹 于航 申娇 张伟功 
国防973项目;国家自然科学基金(No.61772350;No.61472260;No.61741211);北京市高水平教师队伍建设计划(No.CIT&TCD201704082;No.CIT&TCD20170322);体系结构国家重点实验室开放课题(No.CARCH201607);北京市科技新星计划(No.XX2018081);深圳市科技计划项目(No.JCYJ20150529164656096;No.JCYJ20170302153955969)
针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在寄存器传输级实现...
关键词：容错 故障注入 软硬件协同 单粒子翻转 微处理器 寄存器传输级 
基于寄存器传输级时钟门的低功耗设计
《中国集成电路》2017年第8期53-57,共5页杨影 肖莹莹 
现如今,低功耗成为VLSI设计中主要考虑的因素。尤其在消费类电子产品,已经选择使用电池来供电(主要是锂电池)。由于电池设备(尤其是可充电池)的物理性质,使得电池无法做的很小,同时电池容量还要很大,因此低功耗优化设计就变得尤为重要...
关键词：低功耗设计 RTL 时钟控制 
RTL综合中FPGA片上RAM工艺映射被引量：4
《电子学报》2016年第11期2660-2667,共8页李艳 张东晓 于芳 
国家重大专项02专项(No.Y1GZ212002)
RAM(Random-Access-Memory,随机存储器)是FPGA(Field Programmable Gate Arrays)片上最重要的宏单元之一,RTL(Register-Transfer-Level)综合对FPGA开发中RAM的有效利用起至关重要作用.本文针对RTL综合中RAM源描述和目标结构多样化带来...
关键词：现场可编程门阵列 寄存器传输级综合 片上随即存储器 工艺映射 
基于需求的断言自动生成技术
《计算机工程》2016年第8期28-33,共6页杨修涛 迟鹏 杜宇坤 徐林伟 
基于断言的验证方法已经广泛应用于芯片设计和验证,其主要作用是提高验证效率和验证质量,然而单纯依靠手工编写断言需要耗费大量人力和时间,使得断言的应用受到较大限制。为此,提出一种基于需求的断言自动生成方法。通过规范波形描述方...
关键词：断言自动生成系统 需求 验证方法 寄存器传输级 行为窗 
寄存器传输级间歇故障注入平台
《北京信息科技大学学报（自然科学版）》2015年第4期46-50,共5页王超 张伟 
北京市教委青年拔尖人才培育计划项目(CIJ&TCD201504057)
超大规模集成电路进入深亚微米时代,晶体管特征尺寸缩小,栅氧化物变薄,门限电压降低,金属互联尺寸已减小到极限,导致处理器硬件故障易感性迅速攀升,迫切需要高效灵活的故障注入技术,对处理器系统可靠性进行验证评估。提出采用Verilog PL...
关键词：硬件故障 故障注入 RTL模型 可靠性 
类Chen系统设计及其FPGA实现被引量：4
《南京理工大学学报》2015年第3期323-329,共7页袁泽世 李洪涛 朱晓华 
国家自然科学基金(61401204)
为了获取拓扑结构和动力学行为更为复杂的类Chen混沌吸引子,该文基于Chen系统,通过引入1个可变系数的乘积项和1个可变系数的平方项,构建了1个新的三维混沌自治系统。数值仿真分析显示,该系统具有奇特的动力学行为,含有1个局部调幅参数,...
关键词：类Chen系统 拓扑结构 动力学行为 混沌吸引子 三维混沌自治系统 局部调幅参数 分岔图 李雅谱诺夫指数谱图 寄存器传输级 定点数运算 
扩展型资源共享方案在RTL综合中的实现
《深圳大学学报（理工版）》2013年第5期456-461,共6页刘贵宅 于芳 刘忠立 刁岚松 吴洋 
武器装备预研基金资助项目(110***098)~~
针对现有寄存器传输级(register transfer level,RTL)综合中资源共享仅针对算术逻辑单元(arithmetic logic unit,ALU)的问题,提出扩展型资源共享的方法.该方法对所有逻辑门进行共享,既可优化ALU,又可优化普通逻辑单元,突破了资源共享基...
关键词：微电子学 现场可编程门阵列 资源共享 寄存器传输级 寄存器传输级综合 算术逻辑单元 面积优化 逻辑优化 
全选清除导出
共8页<12345678>
检索报告 对象比较 聚类工具 使用帮助 返回顶部