基于Transaction模式的SoC软硬件协同验证策略

来源 :陕西理工学院学报(自然科学版) | 被引量 : 0次 | 上传用户:mj830115
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
SoC的验证越来越成为集成电路发展的突出问题,而传统的信号级别的验证方法由于工作量巨大,已经很难满足系统的要求。研究了基于Transaction模式的验证方法,并通过开发的验证平台,用实验进行了验证。该方法在Transaction级别上实现对系统的验证。提高了验证速度,可以缩短设计周期。降低设计成本。
其他文献
简讯由财政部行政政法司主办、甘肃省财政厅承办的《行政单位国有资产绩效评价体系研究》课题研讨会7月28日在兰州召开。财政部行政政法司副司长张更华、资产处处长杨瑞金、
<正>一,概述 轴类键槽对称度的测量,在没有相应规格的键槽对称度测量仪时,只能根据国家标准GB1958-80对称度误差检测面对轴线的方法,利用平板、V形铁、定位块、带指示器的测
【正】对农药进行二次稀释也称为两步配制法,是农药配制的方法之一。农药经过两次稀释配制,能够使某些不易溶解的可湿性粉剂或用量微小的农药,得到更充分的溶解, 分布的更均
在短短几年内,政府采购制度就已经在我国全面开展起来。本文着重分析高校政府采购的必要性、特点以及对财务管理产生的影响,进而从财务管理角度出发,分析高校政府采购面临的问题
国家粮食局最新数据显示.今年前三季度,在执行最低收购价预案的省区,共收购最低收购价小麦825亿斤,早籼稻75亿斤.
期刊
基于边缘流的曲线演化模型是有效的图像分割模型之一。该模型主要利用高斯函数的平滑作用产生边缘流场。本文引入三次B样条函数来计算边缘流场。不同于高斯函数的非紧支撑性,三次B样条函数是紧支撑的,这就使得改进的边缘流模型更有利于计算机的离散化实现,提高了边缘定位的精确度。计算机合成图像和实际图像的实验结果也表明了改进后的模型是非常有效的。
开展深入学习实践科学发展观活动,是党的十七大作出的重大战略部署,旨在引导广大党员、干部深刻认识科学发展观的科学内涵、精神实质、根本要求和重要意义,着力转变不适应、不符
表面活性剂由于具有良好的表面性能及应用性能而被广泛应用于食品、医药、化工、油田化学品等众多领域。结合国内外的研究情况,根据极性头的电荷性质来分类,对Gemini表面活性剂