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

来源 :计算机工程 | 被引量 : 0次 | 上传用户:tangmanzhuo
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
集成电路行业的发展,为SOC设计积累了丰富的IP库和设计方法.采用系统设计常用的基于平台的方法,可以快速完成系统的集成.但要完成对整个系统的验证,可能要占到整个设计周期70%以上的时间.而验证的方法是具有多样性的.该文以一款高端SOC的设计经历,简单描述了系统级验证过程,并以同步串联接口模块为例详细介绍了在系统级对RTL和门级网表的验证,以及验证所采用的特殊方法.
其他文献
IFVO是一种基于Agent的虚拟组织集成框架.它采用本体论的方式来描述Agent之间协作所遵循的词汇集.该文采用UML作为IFVO本体论的建模语言,在利用IFVO进行企业建模的过程中,可
在立体视觉系统中,一般采用空间分离且同步旋转的两台摄像机拍摄同一物体,为观察者提供同一物体的两个不同角度的图像。文章从人类的视觉感知原理出发,给出了基于单幅图像的体视图像生成算法,并成功地用于大数据量体视转换的场合,如“国家大剧院”和“奥运会场景”的漫游仿真,从而实现虚拟复杂场景的仿真漫游。该算法特别适合于要求快速、一次绘制(拍摄)的场景,即再现立体的场合。
利用椭圆曲线上双线性映射的特性,提出了一种有技的基于身份的签密方案,签密可以同时完成数字签名和公钥加密两项功能,其代价显著低于常规"先签名再加密"方法的代价.而且在椭