基于安全风险的RTL级硬件木马验证研究

信息时代使得信息安全变得日益重要。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心--处理器,那将风险更高、危害更大。然而,硬件木马位于信息系统底层核心的层面,难以被检测和发现出来。硬件木马是国内外学术界研究的热点课题,尤其是在设计阶段结合源代码的硬件木马检测问题,是新问题,也是有实际需要的问题。在上述背景下,围绕源代码中硬件木马的检测和验证展开了研究。基于硬件木马危害结果属性,在学术上提出基于安全风险的模型和验证规则,给出相应的描述形式,从理论上说明安全验证规则在减少验证盲目性、缩小可疑代码范围、提高评估效率的作用,实验表明,基于安全风险规则的验证,可以避免验证的盲目性和测试空间向量膨胀的问题,有效验证疑似硬件木马的存在和危害,对源代码安全评估是有一定效果的。

RTL级硬件木马问题研究

信息时代使得信息安全变得日益重要。信息安全可以分为两类:软件安全和硬件安全。攻击方为了获取想要的信息,除了使用软件方面的手段,如病毒、蠕虫、软件木马等,同样也使用硬件手段来威胁设备、系统和数据的安全,如在芯片中植入硬件木马等。如果将硬件木马植入信息处理的核心——处理器,那将风险更高、危害更大。然而,硬件木马位于信息系统底层核心的层面,难以被检测和发现出来。硬件木马是国内外学术界研究的热点课题,尤其是在设计阶段结合源代码的硬件木马检测问题,是新问题,也是有实际需要的问题。在上述背景并结合国内对芯片RTL源代码安全风险评估的实际需求展开了相关工作,围绕RTL源代码中硬件木马的问题展开了研究。主要贡献:针对RTL级硬件木马尚未在学术上给出一般属性的问题,给出硬件木马的属性描述形式,在形成硬件木马属性的基础上,以模块端口信号为源,提出了一种基于信号流向的多叉树分层递归搜索方法,实验结果表明,该方法对于依附在端口上的硬件木马的检测是有效的。

基于高级综合的RTL综合对象及方法的研究

从处理对象、任务以及实现方案等方面对不同层次上的 RTL综合及高级综合作全面比较 ,以此说明 RTL综合的对象与方法 ,同时针对这两个层次的综合实现方案 ,说明两者间可相互借鉴的技术 .最后给出了 RTL综合与高级综合的实验结果 .

用51单片机控制RTL8019AS实现以太网通讯

介绍以太网的帧协议和以太网控制芯片RTL8019AS的结构特性;介绍51单片机控制RTL8019AS实现以太网通讯的硬件设计方案;采用C51语言实现ARP协议(地址解析协议),并进行了系统的调试与验证。

RTL8019AS及其在嵌入式以太网系统中的应用

介绍了10 M以太网控制芯片RTL80 19AS的主要性能和结构特性,以及在Cygnal公司的C80 5 1F0 2 0单片机控制下,使用RTL80 19AS实现嵌入式以太网通讯的硬件设计方案和编程方法。该系统尺寸小、性能高,适合便携式仪器仪表中的使用,为智能化、模块化的嵌入式设备的实现提供了一种途径。

RTL综合中的格式判别

由于寄存器传输级 (RTL)行为描述可以精确地确定数字系统的操作 ,所以寄存器传输级综合成为当前EDA行业的主流设计方法 .实现从寄存器传输级行为描述到门级结构描述转换的 RTL 综合 ,是组合逻辑 /时序逻辑综合理论在 HDL(硬件描述语言 )上的具体应用 .设计寄存器传输级综合工具的基础是格式判别 ,即将行为描述中的组合逻辑与时序逻辑区分开来 ,利用组合逻辑综合与时序逻辑综合分别进行处理从而完成寄存器传输级综合 .在分析和总结寄存器传输级行为描述规律以及逻辑综合局限性的基础上 ,论述格式判别的必要性、可行性、有效性 ,提出一种易于实现的格式判别方法 .该方法利用赋值语句为核心的中间数据格式以及逻辑综合所能接受的内部格式 (多维体 ) ,将复杂的寄存器传输级行为描述分解为各个赋值语句组 ,根据赋值语句组中的各条赋值语句的条件判断此赋值语句组是组合逻辑还是时序逻辑 ,并生成不同层次、功能相对独立的 RT单元以便利用对应的组合逻辑综合或时序逻辑综合处理此 RT单元 ,从而在实现 RTL 综合的过程中使组合逻辑综合和时序逻辑综合得到最大限度的重用 .最后文中给出一些测试实例和结果分析 .通过测试实例和结果分析表明该文提出的方法不但有效地区分了组合逻辑和时序逻辑 ,而且由于通过对组合?

芦山M_S 7.0地震前地震活动性分析及区域地震活动水平参数I_(RTL)的应用

本文采用Region-Time-Length(RTL)方法分析在汶川M_S 8.0级地震引起的地震活动增强背景下芦山M_S 7.0地震前地震活动性变化,并提出了综合反映区域地震活动水平的参数IRTL。芦山地震前1年在震中和周边地区检测到地震活动平静异常,主要分布在龙门山断裂带南段1.5°N×2°E范围内,持续了近8个月,异常范围和异常程度呈现由小→大→小的特征。新提出的区域地震活动水平参数I_(RTL),早期在0值附近波动,于震前一年开始不断下降,降至波谷后回升到较低值,波谷后9个月发震。I_(RTL)在一定程度上为"识别"芦山地震发生危险性提供了参考。以上研究对了解芦山地震孕育过程提供了新的认识。

RFID及RTLS技术和应用

射频识别(RFID)是一种电子标签数据采集系统,用射频信号读取近距离需要进行辨别的物体信息,它具有许多条形码和其他自动识别系统不具备的优点.应用范围非常广泛,包括制造业/存储业、包裹跟踪和物流供应管理等.与用来进行识别的RFID系统不同,实时定位系统(RTLS)是应用高级射频技术,能得到物体的真正位置,提供平均为3～7m的分辨率.

针对JTAG调试的RTL验证环境设计原理

以ARM7TDMI为例提出了一种在RTL仿真时即可进行JTAG调试的方法。利用该方法在RTL仿真时即可进行ARM的JTAG调试。首先详细分析了JTAG的边界扫描标准及工作原理,而后以ARM7TDMI为例分析了ARM的扫描链的设计原理及控制方法,从中给出了如何利用JTAG控制ARM7TDMI扫描链来完成ARM的行为控制。该方法还可以通过ARM的控制进而完成对SoC中其他模块的验证。通过该原理建立JTAG接口软仿真验证平台,可以在RTL仿真时验证ARM的JTAG调试功能以及SoC的初步测试。

RTL8019AS及其在嵌入式以太网中的应用

介绍了10M以太网控制芯片RTL8019AS的结构和主要性能,以及在SUMSUNG公司的嵌入式微处理器S3C44BOX控制下,使用RTL8019AS实现嵌入式以太网的硬件设计方案和编程方法。该系统尺寸小、性能高,适合便携式仪器仪表中的使用,为智能化、模块化的嵌入式设备的实现提供了一种途径。

应用RTL8019AS的嵌入式Web服务器硬件实现

嵌入式设备的网络化是当前的一个热点问题,其实现方式可以用微处理器直接驱动网卡芯片来接入Internet。结合嵌入式Web服务器,阐述了如何利用微处理器直接驱动RTL8019AS的硬件设计思路及方法,最后给出了该实现的测试结果。

以太网控制芯片RTL8019AS详细配置

RTL8019AS是目前实现设备接入以太网普遍采用的一种接口控制芯片,在实际应用中最重要的就是对芯片的配置。为了使广大工程技术人员能够更好地应用该芯片,对RTL8019AS工作在不同方式下的配置做了详细的说明解释,并总结了在应用中芯片工作在不同方式下的优缺点。

RTL8019AS在嵌入式以太网系统中应用

文中介绍在C8051F020单片机控制下,使用RTL8019AS实现嵌入式以太网通讯的硬件设计方案和编程方法。该系统尺寸小、性能高,适合便携式仪器仪表中的使用。

一种快速的组合电路RTL功耗估算器(英文)

提出了一种快速分析组合 RTL 模块功耗的方法 ,经过建立模块功耗库 ,可快速计算出任意输入向量驱动的电路功耗 .该方法使用泰勒一阶近似的公式模型 ,并在建库过程中采用 Monte- Carlo模拟方法 .ISCAS85 bench-mark电路模拟的结果显示 ,该方法的误差可以在 5

RTL8305SB在嵌入式智能网桥中的应用

讨论了新型以太网交换控制芯片RTL8305SB在嵌入式系统中的应用,提出了一种将其用于嵌入式智能网桥—CAN-ETHERNE的互连方案,详细阐述了MII总线的配置方法以及RTL8305SB与光纤收发器的连接方案;提出了有实际应用价值的RTL8305SB 2.5V电源生成方法,在实际应用中大大提高了RTL8305SB的稳定性。通过自制PCB版图,在开发板上自编程序,实现了多路CAN总线与以太网信息的转发,达到了预期的设计效果。

RTL级模拟矢量自动生成设计化简方法研究

提出一种Verilog程序切片算法 ,给出了该算法的正确性证明的理论框架 ;并利用提出的Verilog程序切片算法对VerilogRTL级设计进行化简 ,实现模拟矢量自动生成状态化简目的 实验结果表明 :该算法对状态化简效果非常明显 。

基于RTL8019AS的单片机网络通信接口设计

网络数据传输技术具有传输速率高、传送距离远、通讯协议完善、信息共享程度高等优点,为嵌入式设备增加网络功能有着深远的意义。介绍以太网的帧协议和以太网控制芯片RTL8019AS的结构特性以及工作原理,设计STC89C54RD+单片机控制RTL8019AS实现以太网通讯的硬件设计方案和软件流程图;采用标准C语言实现ARP协议,所有程序在Keil c51环境下编译连接。最后并进行系统的调试与验证,取得了满意的效果。

RTL综合系统设计中时序逻辑综合的实现方法

时序逻辑综合是 RTL综合系统设计中的一个重要部分。文章系统地论述了时序逻辑综合问题，在分析用户的 RTL描述形式的基础上，以具体算法的形式，提出基本时序逻辑电路描述综合的实现方法，同时对其它一些综合系统中未引用的复杂时序逻辑电路也提出了具体的综合实现方法。

RTL数据通路模拟矢量自动生成方法研究与实现

针对已有的RTL数据通路模拟矢量自动生成方法的不足 ,提出一种利用约束逻辑编辑 (CLP)自动生成数据通路模拟矢量的新方法 该方法首先对给定的VerilogRTL描述采用程序切片进行设计化简 ,然后对化简后的结果基于位向量算术原理生成CLP约束 ,并利用CLP求解器GProlog进行约束求解 ,最终生成满足输出要求的模拟矢量 该方法约束求解速度快 ,生成的约束是统一的 ,得到的模拟矢量较完备 ,能满足模拟验证的要求 实验结果表明 。

RTL综合中变量赋值语句的综合方法

变量是 VHDL 语言中顺序语句的一个特征 .从分析变量的作用出发 ,论述 RTL 综合中变量赋值语句的综合方法及其相应依据 ;同时提出一种用于对变量赋值语句进行综合的数据结构——变量关联链表 (VAL) ,及以此数据结构为基础的变量赋值语句的综合方法 .最后给出采用