搜索到1920篇“ 寄存器传输级“的相关文章
全部数字资源类型
相关度排序
一种寄存器传输级行为模型检查方法、装置、设备及介质
本申请公开了一种寄存器传输级行为模型检查方法、装置、设备及介质，涉及芯片设计技术领域，包括：识别并采集预设寄存器传输级行为模型的端口信息；按照标准寄存器传输级代码规范对端口信息进行代码编写，生成包含不同信号组合的测试激励...
王大中姜丙亚金留念
一种性能计数器的寄存器传输级代码的自动生成系统
本发明涉及芯片设计领域，特别是涉及一种性能计数器的寄存器传输级代码的自动生成系统，系统包括配置模块、解析模块和寄存器传输级模板，配置模块包括参数配置单元、多个事件组配置单元和多个信号配置单元；参数配置单元用于配置当前配置...
吕正光
一种性能计数器的寄存器传输级代码的自动生成系统
本发明涉及芯片设计领域，特别是涉及一种性能计数器的寄存器传输级代码的自动生成系统，系统包括配置模块、解析模块和寄存器传输级模板，配置模块包括参数配置单元、多个事件组配置单元和多个信号配置单元；参数配置单元用于配置当前配置...
吕正光
一种寄存器传输级模拟加速的方法和相关装置
本申请公开一种寄存器传输级模拟加速的方法和相关装置，获取待执行模拟代码，待执行模拟代码具有对应的预设间隔值；对待执行模拟代码进行综合编译，得到硬件描述语言代码；基于硬件描述语言代码和预设间隔值，进行寄存器传输级模拟，得到...
郑晓铧
一种寄存器传输级电路设计的资源估算方法及装置
本发明提供一种寄存器传输级电路设计的资源估算方法及装置，涉及集成电路设计技术领域，所述方法包括：通过调用开源综合工具的读取指令，读取目标电路设计的寄存器传输级RTL描述文件；根据所述RTL描述文件，构建抽象语法树；对所述...
马飞李君豪
一种寄存器传输级Verilog设计的安全断言自动生成方法
本发明公开了一种寄存器传输级Verilog设计的安全断言自动生成方法，包括以下步骤：S1.利用仿真工具执行待测设计得到lst以及dot文件，lst文件包含仿真数据，dot文件包含电路的结构和连接信息；S2.利用lst文件...
秦茂源刘宝龙沈超刘利强陈雷李家乐闫嘉祺郝梓帅
一种寄存器传输级RTL代码的执行方法和相关设备
本申请实施例提供了一种寄存器传输级RTL代码的执行方法和相关设备。该方法包括：根据RTL代码中的多个任务中每个任务的运行时间信息，确定每个任务的调度信息，每个任务的运行时间信息包括每个任务的首次运行时长或预设运行时长，每...
袁佳杰
一种电路设计的寄存器传输级资源预测方法、装置及设备
本发明提供一种电路设计的寄存器传输级资源预测方法、装置及设备，所述方法包括：获取目标电路设计的寄存器传输级RTL代码；对所述RTL代码进行语法特征分析，得到与硬件资源相关的目标特征信息；将所述目标特征信息输入现场可编程逻...
马飞李君豪
一种面向UVM验证环境的寄存器传输级时钟调节方法及系统
本发明公开了一种面向UVM验证环境的寄存器传输级时钟调节方法及系统。该方法包括如下步骤：编写虚拟时钟接口，定义时钟接口信号和时钟相关配置；创建时钟模型，实例化虚拟时钟接口；在时钟模型中，根据虚拟时钟接口配置参数编写时钟生...
李成跃李立杨磊华阳陈星泽范振伟于飞洋刘占利
寄存器传输级硬件设计信息流建模与安全验证
2024年
近年来,已有大量研究证明信息流分析能够有效地对设计安全属性与安全行为进行建模。然而,现有的门级抽象层次的信息流分析方法往往受制于算力和验证效力等因素难以应对大规模设计,而RTL抽象层次的信息流分析方法需借助类型系统等形式化语言对硬件设计进行重新描述。因此,提出了一种寄存器传输级硬件设计信息流建模与安全验证方法。该方法在寄存器传输级功能模型的基础上构建附加安全属性的信息流跟踪逻辑模型,从信息流角度建模设计安全行为和安全属性,并利用EDA测试验证工具,以无干扰为策略捕捉违反安全策略的有害信息流,检测硬件设计安全漏洞。以Trust-Hub硬件木马测试集为测试对象的实验结果表明:所提方法能够有效检测设计内潜藏的硬件木马。
秦茂源侯佳滢李家乐唐时博邰瑜
关键词：硬件安全安全漏洞检测
加载更多 ∨

相关作者

李晓维
作品数：487被引量：801H指数：13
供职机构：中国科学院计算技术研究所
研究主题：集成电路 芯片 扫描链 片上网络 电路
蔡懿慈
作品数：175被引量：157H指数：6
供职机构：清华大学信息科学技术学院计算机科学与技术系
研究主题：集成电路 布线 VLSI 供电网络 物理设计
周强
作品数：283被引量：825H指数：15
供职机构：清华大学
研究主题：布线 汉语 集成电路 布线方法 中文信息处理
边计年
作品数：84被引量：170H指数：8
供职机构：清华大学
研究主题：系统芯片 VHDL 层次化 CDFG 寄存器传输级
吴为民
作品数：33被引量：67H指数：4
供职机构：北京交通大学计算机与信息技术学院计算机工程系
研究主题：可满足性 PLACEMENT 集成电路 寄存器传输级 INCREMENTAL