SoC自动化验证方法的研究与实现

为解决SoC（System-on-Chip）验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统（LSAVS：LiShan Automatic Verification System）。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。     

SCSD在SoC原型验证中的应用及其改进

以软件编译式系统设计方法学为基础,提出了片上系统(SoC)的原型验证流程,并用Handel-C描述SoC原型,直接实现在原型硬件上．为了验证该流程,用SCSD的软件工具、RC1000和RC200搭建了一个SoC原型验证系统的样机,在样机上完成了Lena图像处理SoC的原型验证．在反复试验的基础上,改进了SoC原型验证流程,并设计出了新的原型电路板．     

针对SoC设计正确性和时间性的形式化协同验证方法

给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术，这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型，形式化定义了IP核、构件和用户自定义逻辑模块，并阐述了从SoC设计体系结构到着色Petri网模型的转换方法，还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性，还能验证其时间性，一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构，那么就能够验证出整个系统的设计正确性和时间性，最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效，并给出了相应的实验结果。     

SCV及其在SoC验证中的应用

片上系统(System on Chip,SoC)是集成电路设计发展的趋势,验证在整个SoC设计中工作量巨大且至关重要.应用验证领域的最新成果SCV(SystemCVerification),提出了通过设计用户定义的事务接口(Transactor),对RTL(RegisterTransferLevel)级设计进行事务级验证的策略,并对一个具体的FIFO事例进行了验证.     

基于ADSP的视频SoC验证方案及其接口的设计

视频SoC规模的飞速增长,给FPGA验证带来了很大的挑战,大容量的外部SDRAM以及更多的外设模块的采用,不但增加了硬件的复杂度,也给相应驱动程序的调试带来了很大的难度.为了全面有效地进行FPGA验证,提出了一种在SoC验证平台中利用ADSP-BF537作为处理器的验证方案,并重点介绍了ADSP外部Memory总线和SoC系统总线(AHB)转换模块的设计.该方案已成功运用于视频SoC的验证系统中,既降低了开发成本,又提高了系统验证的效率和功能的完整性.     

一种二次递归对消器的硬件实现

本文从工程的角度讨论了二级递归滤波器的硬件实现问题，给出了高速数据率情况下的时序关系及原理框图，并提出了设计注意事项。     

硬件安全门级细粒度形式化验证方法

针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法．该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型,并结合霍尔逻辑三元组理论构造用于验证该模型安全属性的定理．定理的证明过程是以人机交互的方式在定理证明器环境下验证定理的合理性．实验结果表明,该方法能够形式化地遍历电路语义模型的状态空间,精确验证不同输入状态下电路语义模型的安全性．该方法通过构造安全属性跟踪逻辑提高了验证的精确性,结合定理证明提高了验证覆盖率,能够有效地验证硬件设计的安全性．     

针对硬件木马的形式化验证模型构造方法

针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法.该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证...     

一种基于离散Hopfield神经网络的SoC嵌入式 操作系统软/硬件划分方法

SoC（System-on-a-Chip ）系统芯片的嵌入式操作系统(Embedded Operating System)软/硬件自动划分（SoCEOS划分）是一个NP完全问题,也是SoC软/硬件协同设计的一个关键步骤,它决定了SoC-EOS功能的软/硬件实现,其划分结果直接影响到SoC产品的开发效率和质量。引入了SoC-EOS划分问题的一个新模型,这有助于理解SoCEOS划分问题的本质。提出了一种基于离散Hopfield神经网络的SoC-EOS划分方法,重新定义了神经网络的能量函数、运行方程和相关系数。最后,对该方法进行了仿真实验,并同遗传算法和蚂蚁算法进行了性能比较。实验结果表明,提出的神经网络方法是可行的和有效的。     

一种针对SoC的嵌入式系统软/硬件协同综合算法

嵌入式系统是软件和硬件共存的系统,多数功能部件可以由软件来完成,也可以由硬件来完成,为了综合考虑系统功能和多项性能指标（如成本、硬件面积、功耗和时间性等）来合理划分系统,提出了一种针对SoC的嵌入式软/硬件协同综合方法,建立了对应的数学模型,将嵌入式系统软/硬件协同综合问题转换成为有向图中求最优路径问题,并用条件遍历法得出整个解空间上的可行解。本方法能够同时评价多项性能指标,融入了SoC设计IP核与软件构件重用的思想,是一种自动方法,克服了传统方法的缺陷。通过一个PDA手机平台音频和视频发方系统的实际例子证明了本方法的实用性和有效性。     

运用硬件提高计算全息运算速度综述

计算全息技术的快速发展使得全息电视、全息电影成为可能.许多研究者正在致力于开发的电子全息三维显示系统的最关键的技术之一就是提高计算全息技术的运算速度.由于计算全息技术所需要的计算量很大,使用一般计算机无法以帧频速率实现全息图的计算,因此研究者们在提高全息图的计算速度方面进行了大量的研究工作.在主要调查研究使用硬件加速的方法来提高全息图计算速度的基础上,论述了其研究现状以及未来的发展动态.     

翘曲理论的计算机验证

对翘曲理论中计算薄壁构件空间变形应力和位移的“动态坐标法”进行了大量的计算机扫描验证,并与传统薄壁构件计算理论相比较,证明该方法是正确的,结果是可靠的。在此基础上,对该方法带来的计算效益和应用前景作了简要的述评。     

汽车启动时安全距离模型的改进及其验证

为了精确研究在信号灯交叉路口车辆启动时的跟驰行为,提出了一种基于加速度的Kometani改进模型。在分析车辆行驶行为特征的基础上,结合实际观测的交通数据,对Kometani模型进行了验证。针对Kometani模型出现的部分点与实际数据趋势不相符等问题,增加了车辆加速度因素并予之改进。改进后的模型考虑了车辆的速度和加速度对于车辆安全距离(即车间距)的共同影响,从而能够更加全面准确地描述交通路口的实际交通现象。采用在交叉路口采集的实际数据,并对改进后的模型进行了验证;通过验证结果与原模型验证结果进行对比分析,表明改进后的模型更符合实际交叉路口车辆启动时的跟驰行为。     

考虑表皮系数的油井产能公式推导及改进

通过严密的公式推导,充分考虑表皮系数的影响,对水平井产能计算公式Borisov公式和Joshi公式进行改进与修正。应用改进后的Borisov公式和Joshi公式对海上油田某水平井的初始产能进行评价,计算产能与实际产能基本一致。     

振冲法的现状综述

介绍了振冲法的起源及发展现状,着重论述了填料振冲和无填料振冲技术加固机理的试验研究成果、适用范围和施工设备。振冲法是一种快速加固松软地基的方法,对于表面承载力很低的吹填土地基具有施工设备较轻的特点。无填料振冲相对于填料振冲具有造价更低、施工更快速的优点,但适用范围更小。目前国内已经有较多无填料振冲法加固黏粒含量小于10%的松散粗砂、中砂、细砂、粉砂地基的成功案例。     

60路复用转换器主处理器硬件实现的改进

本文提出采用乘法器和RALU实现60路复用转换器主处理器硬件的方案。它与现行研制采用的乘法器和ALU方案相比,可简化硬件结构、减少硬件(MSI/LSI)用量;而与采用专用DSP硬件方案相比,则成本较低。所提方案不仅缩小设备体积,而且可提高可靠性。