一款高端数字SOC设计的系统级验证

来源 :计算机工程 | 被引量 : 0次 | 上传用户:tangmanzhuo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
集成电路行业的发展,为SOC设计积累了丰富的IP库和设计方法.采用系统设计常用的基于平台的方法,可以快速完成系统的集成.但要完成对整个系统的验证,可能要占到整个设计周期70%以上的时间.而验证的方法是具有多样性的.该文以一款高端SOC的设计经历,简单描述了系统级验证过程,并以同步串联接口模块为例详细介绍了在系统级对RTL和门级网表的验证,以及验证所采用的特殊方法.
其他文献
本文根据构造复杂程度和煤层稳定程度的定性定量分析,认为各类型的变化范围间相差甚大,提出把勘探类型的四类四型改为五类五型。
本文借用井田外围奥灰水勘探资料对井田水文地质特征作了综合分析,为该区下组煤的开发水文地质工作提供了研究实例。
介绍了苏鲁豫皖边界地区中新生代红层的地质概况、物质组成及岩体结构,分析了红层软岩遇水膨胀崩解特性及影响因素,对井筒通过红层时所采用的方法进行了评价。
封孔中存在的问题及改进措施付赫然(黑龙江省煤田地质勘探公司三队鸡西158120)关键词封孔,淹没射流,改进中国图书资料分类法分类号P634.8作者简介付赫然男27岁助理工程师煤田勘探1引言某矿井在掘
4.1.2 Cielo:Progressing toward graduated prompting.Cielo also chose to use flexible prompt-ing for all thfee DA lessons and was slightly more successful than Su
IFVO是一种基于Agent的虚拟组织集成框架.它采用本体论的方式来描述Agent之间协作所遵循的词汇集.该文采用UML作为IFVO本体论的建模语言,在利用IFVO进行企业建模的过程中,可
在立体视觉系统中,一般采用空间分离且同步旋转的两台摄像机拍摄同一物体,为观察者提供同一物体的两个不同角度的图像。文章从人类的视觉感知原理出发,给出了基于单幅图像的体视图像生成算法,并成功地用于大数据量体视转换的场合,如“国家大剧院”和“奥运会场景”的漫游仿真,从而实现虚拟复杂场景的仿真漫游。该算法特别适合于要求快速、一次绘制(拍摄)的场景,即再现立体的场合。
论述了全方位钻孔测斜的方法原理、数学模型,误差分析与校正,形成了一套完整的全方位钻孔测斜技术。
利用椭圆曲线上双线性映射的特性,提出了一种有技的基于身份的签密方案,签密可以同时完成数字签名和公钥加密两项功能,其代价显著低于常规"先签名再加密"方法的代价.而且在椭
介绍了用综合地震特征参数解释煤层厚度的具体方法。通过对淮南潘三矿东3、东4采区地震资料的重新处理,提取出对应13^-1煤的T5波的多个地震波动力学参数,将有效参数综合并进行煤层厚度的