|
| - 基于SystemVerilog语言的像素cache验证平台的实现
- 作者:杨铮;韩俊刚;李卯良;刘欢; 来源期刊:电子技术应用 年卷号:2016,42(10):51-53+61
- 摘要:以SystemVerilog为基础,对自主研发的GPU"萤火虫2号"中像素cache部分搭建可重用的验证平台。该平台可以自动完成整个验证过程,并将验证结果打印到Linux终端和文件当中,方便程序员检查验证结果。实验结果表明,该验证平台对像素
-
- 基于软硬件协同技术的AHB-PCI测试平台
- 作者:刘欢;韩俊刚;李卯良;杨铮;李明;史少旭... 来源期刊:电子技术应用 年卷号:2016,42(10):40-43
- 摘要:针对AHB-PCI的桥接电路,搭建了一个测试其功能的平台。该平台主要由软件和硬件协同完成。硬件部分实现了两个符合AHB标准的RAM,一个作为主机,能够请求总线;另一个作为从机,可以接收数据。软件方面通过驱动程序对PCI部分进行相应配置和读写
-
- ARINC659总线协议处理芯片设计与实现
- 作者:田泽;淮治华;裴希杰;范飞虎; 来源期刊:电子技术应用 年卷号:2016,42(10):157-160
- 摘要:HK659芯片是实现ARINC659底板总线系统的基础和关键,被广泛应用在新一代机载电子系统中。在深入理解、分析ARINC659总线协议以及ARINC659总线通信处理机理的基础上,提出了一种满足ARINC659总线高可靠性、高容错性要求的
-
- 基于隐马尔可夫模型的硬件木马检测方法
- 作者:高振斌;白雪;杨松;何家骥; 来源期刊:计算机工程 年卷号:2016,42(09):126-131
- 摘要:硬件木马给集成电路芯片可靠性带来巨大威胁。为此,基于隐马尔可夫模型,提出一种新的木马检测方法。提取母本电路数据的特征参数,并对该参数进行训练得到正常模型,提取待测数据的特征参数,并计算该参数与上述模型的匹配程度,以进行分析识别。实验结果表明
-
- 一种基于快速激活的硬件木马检测法
- 作者:裴根;石朝阳;邹雪城;刘政林; 来源期刊:电子技术应用 年卷号:2016,42(08):63-66
- 摘要:硬件木马因其巨大的潜在威胁而受到学术界和工业界越来越广泛的关注,而传统的测试技术很难发现这些硬件木马,因此,针对硬件木马的隐藏机制,提出了一种快速激活并检测木马的方法,通过将木马原型植入微处理器OR1200中,并利用大量测试用例激励,激活了
-
|