题名 面向专用指令集处理器设计的软硬件协同验证
被引量：2
1
作者
严迎建 杨志峰 任方
机构
解放军信息工程大学电子技术学院
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第6期241-243,共3页
基金
国家"863"计划基金资助项目(2008AA01Z0103)
文摘
为提高专用指令集处理器设计中的验证效率和覆盖率,将专用指令集处理器的寄存器传输级设计验证与汇编器、指令集模拟器等软件开发工具的测试相结合,提出一种软硬件协同验证方法。该方法按照覆盖率要求由软件自动产生测试程序和数据,将利用汇编器产生的机器指令输入到指令集模拟器和硬件仿真工具分别进行软硬件仿真,通过软硬件仿真结果自动比对得出联合验证结果。实践证明,该方法能够有效提高验证效率和覆盖率,缩短验证周期。
关键词
专用指令集处理器 硬件仿真 指令集模拟器 软硬件协同验证
Keywords
Application specif ic Instruction Set Processor（ASIP） hardware simulation Instruction Set Simulator（ISS） software-hardware co-verification
分类号
TP302
[自动化与计算机技术—计算机系统结构]
题名 基于龙芯2F处理器的硬件验证平台的设计与实现
被引量：4
2
作者
张瑾 王剑
机构
中国科学院计算技术研究所
出处
《计算机工程与科学》
CSCD
北大核心
2009年第A01期270-275,共6页
基金
国家863计划重点资助项目(2008AA110901) 国家973计划资助项目(2005CB321600) +1 种基金 国家自然科学基金资助项目(60603049) 北京市自然科学基金资助项目(4072024)
文摘
针对高性能处理器龙芯2F的逻辑验证和性能测试,本文设计和实现了一套硬件验证平台环境,既能验证处理器流片前的逻辑功能,也能测试处理器流片后的性能指标。实验结果表明,本文设计的硬件验证平台能够有效验证龙芯2F处理器的各项功能和性能指标。
关键词
龙芯2F 硬件验证平台 逻辑验证 性能测试
Keywords
loonson2F hardware platform logic verification performance test
分类号
TP391
[自动化与计算机技术—计算机应用技术]
题名 硬件木马威胁与识别技术综述
被引量：12
3
作者
周昱 于宗光
机构
中国电子科技集团公司第五十八研究所 中国电子科学研究院 西安电子科技大学微电子学院
出处
《信息网络安全》
2016年第1期11-17,共7页
文摘
软件木马曾被认为是计算机系统的唯一安全威胁,计算机系统内的硬件即集成电路被普遍认为是安全可信的。但随着硬件木马这一针对集成电路及其应用的新的安全威胁的出现,打破了硬件安全可信的传统观点。硬件木马是集成电路在设计与制造过程中遭到人为恶意篡改而形成的影响电路功能、性能等参数的各种逻辑后门与漏洞。硬件木马的攻击模型有很多种,有的会改变电路的逻辑功能;有的会泄露电路内部的机密信息;还有的既不改变电路的功能,也不泄露电路内的机密信息,但能协助软件木马来攻击整个系统。随着集成电路设计的日益复杂,制造成本日趋高昂,集成电路产业正朝着全球合作的方向发展,集成电路在其产业链各环节受到硬件木马攻击的威胁将会越来越大,因此发展硬件木马的识别技术来保证集成电路的安全性已迫在眉睫。文章主要分析硬件木马造成的威胁,包括各种攻击模型及其分类,介绍当前硬件木马识别技术的最新研究进展,阐述未来该领域的研究热点。
关键词
硬件木马 IP安全性验证 旁路分析 逻辑测试 光学分析
Keywords
hardware Trojan IP security verification side-channel analysis logic test optical analysis
分类号
TP309
[自动化与计算机技术—计算机系统结构]
题名 基于高阶逻辑的硬件验证方法
4
作者
霍红卫 韩俊刚
机构
西安电子科技大学计算机系
出处
《计算机学报》
EI
CSCD
北大核心
1993年第10期768-775,共8页
基金
国家自然科学基金
文摘
本文讨论了如何利用高阶逻辑描述硬件的行为及结构,提出了硬件验证的一般方法,高阶逻辑不仅可以作为一种描述语言用来描述硬件的行为及结构,而且可以作为证明系统用来验证硬件设计的正确性,文中给出的用以说明描述及验证的例子包括CMOS反相器、复位的奇偶校验器。
关键词
高阶逻辑 硬件 验证 方法
Keywords
higher-order logic ,hardware specification ,hardware verification.
分类号
TP303
[自动化与计算机技术—计算机系统结构]
题名 用属性说明语言验证硬件电路
5
作者
刘有耀
机构
西安邮电学院ASIC设计中心 陕西西安
出处
《现代电子技术》
2005年第21期104-106,共3页
基金
国家自然科学基金(90207015)
文摘
过去对系统的设计要求说明都是采用自然语言,这种说明形式是比较含糊的,并且缺乏标准的机器可执行代码而无法进行验证。然而属性说明语言是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的硬件设计属性说明语言。本文首先介绍了属性说明语言的属性定义,然后说明了用属性说明语言实现硬件电路验证的方法。通过实践证明,用属性说明语言验证硬件电路是非常有效的验证方法。
关键词
硬件电路 属性说明语言 验证 自然语言
Keywords
hardware circuit property specification language verification natural language
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
题名 硬件电路的属性说明语言
6
作者
刘有耀
机构
西安邮电学院ASIC设计中心 陕西西安
出处
《现代电子技术》
2005年第20期35-37,共3页
基金
国家自然科学基金(90207015)
文摘
传统的对系统功能规范说明都是采用自然语言,这种说明形式一般都是比较含糊的,并且由于缺乏标准的机器可执行代码而无法进行验证。本文介绍的属性说明语言(PSL)是一种易于读写、语法精简、语义严格清晰、表达能力强大、机器可执行的标准硬件设计属性说明语言。并对他在M ode ls im SE 6.0仿真工具中的使用做了具体的介绍。
关键词
硬件电路 属性说明语言 基于断言验证 自然语言
Keywords
hardware circuit property specification language assertion based verification natural language
分类号
TP312
[自动化与计算机技术—计算机软件与理论]
题名 在系统可编程技术在硬件设计中的应用
被引量：2
7
作者
高瑞娟
机构
西安邮电学院计算机工程系
出处
《南京邮电学院学报》
2000年第2期86-90,共5页
文摘
ISP(在系统可编程 )技术在CMOSPLD领域中处于领先地位。ISP器件能完成很多的系统性能 ,所有的器件能够通过一个简单的菊花链结构进行编程 ,并利用下载电缆将熔丝文件写入ISP器件。在熟悉ISPPLD技术的工作原理和VHDL环境并掌握ISP开发工具 (包括WVOffice与ispDS +5 .0 )情况下 ,利用VHDL将该技术应用到MCU硬件的设计 ,并根据芯片的管脚锁定 ,利用PROTEL制成一块PCB ,最后完成对MCU样机的调试。
关键词
在系统可编程 CMOS PLD 专用集成电路
Keywords
In system programmable Programmable logic device hardware description languageApplication specif ic integrated circuit of the multiple control unit
分类号
TN492.02
[电子电信—微电子学与固体电子学]
题名 用高阶逻辑表达时态逻辑及其应用
被引量：2
8
作者
韩俊刚
机构
西安电子科学技术大学
出处
《计算机学报》
EI
CSCD
北大核心
1993年第12期925-930,共6页
基金
国家自然科学基金
文摘
硬件设计的形式化验证技术开辟了对复杂的超大规模集成电路设计进行验证的新途径,高阶逻辑和时态逻辑在形式化验证技术中均得到成功的应用,本文介绍用高阶逻辑表达线性时态逻辑和区间时态逻辑的方法,并以几个简单实例说明它在硬件设计验证中的应用,这种方法的优点是既利用高阶逻辑系统HOL的机械化定理证明手段,又发挥了时态逻辑的表达硬件的动态性质的能力。
关键词
硬件 设计 时态逻辑 高阶逻辑
Keywords
hardware design,formal verification ,temporal logic ,higher-order logic .
分类号
TP303
[自动化与计算机技术—计算机系统结构]
