共查询到18条相似文献,搜索用时 78 毫秒
1.
为解决SoC(System-on-Chip)验证覆盖率和工作量问题,基于可重用思想、采用事务验证模型、随机激励生成的方法,建立了一个层次化的具有自主知识产权的自动化功能验证系统(LSAVS:LiShan Automatic Verification System)。采用该验证系统后,SoC验证工程师开发测试向量的工作量由使用传统验证方法的60%降低到10%,同时保证了功能验证100%的覆盖率,达到快速高覆盖率的验证目的。 相似文献
2.
3.
SCSD在SoC原型验证中的应用及其改进 总被引:1,自引:0,他引:1
以软件编译式系统设计方法学为基础,提出了片上系统(SoC)的原型验证流程,并用Handel-C描述SoC原型,直接实现在原型硬件上.为了验证该流程,用SCSD的软件工具、RC1000和RC200搭建了一个SoC原型验证系统的样机,在样机上完成了Lena图像处理SoC的原型验证.在反复试验的基础上,改进了SoC原型验证流程,并设计出了新的原型电路板. 相似文献
4.
给传统嵌入式系统验证方法带来巨大挑战的是SoC设计中硬件部分采用IP核、软件部分采用构件技术,这就需要一种既能克服传统方法缺陷又能适合SoC的新方法。针对SoC提出了一种基于着色Petri网的数学模型,形式化定义了IP核、构件和用户自定义逻辑模块,并阐述了从SoC设计体系结构到着色Petri网模型的转换方法,还介绍了如何利用现有工具CPN Tods来分析Petri网模型。该方法不仅能验证SoC设计的正确性,还能验证其时间性,一旦给出SoC设计中IP核、构件和用户自定义逻辑的体系结构,那么就能够验证出整个系统的设计正确性和时间性,最后通过一个验证PDA手机音频和视频子系统的例子证明该方法行之有效,并给出了相应的实验结果。 相似文献
5.
SCV及其在SoC验证中的应用 总被引:2,自引:0,他引:2
片上系统(System on Chip,SoC)是集成电路设计发展的趋势,验证在整个SoC设计中工作量巨大且至关重要.应用验证领域的最新成果SCV(SystemCVerification),提出了通过设计用户定义的事务接口(Transactor),对RTL(RegisterTransferLevel)级设计进行事务级验证的策略,并对一个具体的FIFO事例进行了验证. 相似文献
6.
视频SoC规模的飞速增长,给FPGA验证带来了很大的挑战,大容量的外部SDRAM以及更多的外设模块的采用,不但增加了硬件的复杂度,也给相应驱动程序的调试带来了很大的难度.为了全面有效地进行FPGA验证,提出了一种在SoC验证平台中利用ADSP-BF537作为处理器的验证方案,并重点介绍了ADSP外部Memory总线和SoC系统总线(AHB)转换模块的设计.该方案已成功运用于视频SoC的验证系统中,既降低了开发成本,又提高了系统验证的效率和功能的完整性. 相似文献
7.
本文从工程的角度讨论了二级递归滤波器的硬件实现问题,给出了高速数据率情况下的时序关系及原理框图,并提出了设计注意事项。 相似文献
8.
针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法.该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型,并结合霍尔逻辑三元组理论构造用于验证该模型安全属性的定理.定理的证明过程是以人机交互的方式在定理证明器环境下验证定理的合理性.实验结果表明,该方法能够形式化地遍历电路语义模型的状态空间,精确验证不同输入状态下电路语义模型的安全性.该方法通过构造安全属性跟踪逻辑提高了验证的精确性,结合定理证明提高了验证覆盖率,能够有效地验证硬件设计的安全性. 相似文献
9.
针对硬件安全验证的效率受形式化验证模型构建方式影响的问题,提出了一种面向硬件木马检测的自动构造形式化验证模型的方法.该方法首先遍历寄存器传输级设计的控制流图,提取出赋值语句的路径条件及其对应赋值表达式,构成Kripke结构中状态转移的约束关系;然后将Verilog语法的约束关系转换成模型检测器的语法,从而生成形式化验证... 相似文献
10.
SoC(System-on-a-Chip )系统芯片的嵌入式操作系统(Embedded Operating System)软/硬件自动划分(SoCEOS划分)是一个NP完全问题,也是SoC软/硬件协同设计的一个关键步骤,它决定了SoC-EOS功能的软/硬件实现,其划分结果直接影响到SoC产品的开发效率和质量。引入了SoC-EOS划分问题的一个新模型,这有助于理解SoCEOS划分问题的本质。提出了一种基于离散Hopfield神经网络的SoC-EOS划分方法,重新定义了神经网络的能量函数、运行方程和相关系数。最后,对该方法进行了仿真实验,并同遗传算法和蚂蚁算法进行了性能比较。实验结果表明,提出的神经网络方法是可行的和有效的。 相似文献
11.
嵌入式系统是软件和硬件共存的系统,多数功能部件可以由软件来完成,也可以由硬件来完成,为了综合考虑系统功能和多项性能指标(如成本、硬件面积、功耗和时间性等)来合理划分系统,提出了一种针对SoC的嵌入式软/硬件协同综合方法,建立了对应的数学模型,将嵌入式系统软/硬件协同综合问题转换成为有向图中求最优路径问题,并用条件遍历法得出整个解空间上的可行解。本方法能够同时评价多项性能指标,融入了SoC设计IP核与软件构件重用的思想,是一种自动方法,克服了传统方法的缺陷。通过一个PDA手机平台音频和视频发方系统的实际例子证明了本方法的实用性和有效性。 相似文献
12.
计算全息技术的快速发展使得全息电视、全息电影成为可能.许多研究者正在致力于开发的电子全息三维显示系统的最关键的技术之一就是提高计算全息技术的运算速度.由于计算全息技术所需要的计算量很大,使用一般计算机无法以帧频速率实现全息图的计算,因此研究者们在提高全息图的计算速度方面进行了大量的研究工作.在主要调查研究使用硬件加速的方法来提高全息图计算速度的基础上,论述了其研究现状以及未来的发展动态. 相似文献
13.
对翘曲理论中计算薄壁构件空间变形应力和位移的“动态坐标法”进行了大量的计算机扫描验证,并与传统薄壁构件计算理论相比较,证明该方法是正确的,结果是可靠的。在此基础上,对该方法带来的计算效益和应用前景作了简要的述评。 相似文献
14.
为了精确研究在信号灯交叉路口车辆启动时的跟驰行为,提出了一种基于加速度的Kometani改进模型。在分析车辆行驶行为特征的基础上,结合实际观测的交通数据,对Kometani模型进行了验证。针对Kometani模型出现的部分点与实际数据趋势不相符等问题,增加了车辆加速度因素并予之改进。改进后的模型考虑了车辆的速度和加速度对于车辆安全距离(即车间距)的共同影响,从而能够更加全面准确地描述交通路口的实际交通现象。采用在交叉路口采集的实际数据,并对改进后的模型进行了验证;通过验证结果与原模型验证结果进行对比分析,表明改进后的模型更符合实际交叉路口车辆启动时的跟驰行为。 相似文献
15.
任胜利 《重庆科技学院学报(自然科学版)》2015,(5):41-42
通过严密的公式推导,充分考虑表皮系数的影响,对水平井产能计算公式Borisov公式和Joshi公式进行改进与修正。应用改进后的Borisov公式和Joshi公式对海上油田某水平井的初始产能进行评价,计算产能与实际产能基本一致。 相似文献
16.
17.
本文提出采用乘法器和RALU实现60路复用转换器主处理器硬件的方案。它与现行研制采用的乘法器和ALU方案相比,可简化硬件结构、减少硬件(MSI/LSI)用量;而与采用专用DSP硬件方案相比,则成本较低。所提方案不仅缩小设备体积,而且可提高可靠性。 相似文献
18.