skcore的算法实现与vmm验证

《skcore的算法实现与vmm验证》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、分类号——UDC密级．学校代码!Q塑Z．武多萎理歹大署学位论文题目SK￡Q堡鲍差鲞塞理鱼yM丝坠堑英文TheAlgorithmImplementation题目一andVMMVerificationofSKcore研究生姓名垫睦嗑。。k，，，姓名堕重职称剑整握指导教师1——一。一申请学位级别亟±430070论文提交日期2Q量2生Q垒旦论文答辩日期2Q12生Q量星学位授予单位盍垫墨三盘堂学位授予日期答辩委员会主席割基评阅人割基割岚2012年05月独创性声明本人声明，所呈交的论文是本人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢的地方外，论

2、文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得武汉理工大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。一研究生签名：超堕盎学位论文使用授权书本人完全了解武汉理工大学有关保留、使用学位论文的规定，即：学校有权保留并向国家有关部门或机构送交论文的复印件和电子版，允许论文被查阅和借阅。本人授权武汉理工大学可以将本学位论文的全部内容编入有关数据库进行检索，可以采用影印、缩印或其他复制手段保存或汇编本学位论文。同时授权经武汉理工大学认可的国家有关机构或论文数据库使用或收录本学位论文，并向社会

3、公众提供信息服务。(保密的论文在解密后应遵守此规定)研究生签名：趣选酶导师签名：罕酝造．日期：窆!!：三：兰摘要随着IC产业的高速发展，以IP核复用技术和超深亚微米工艺为支撑的系统芯片(简称soc)技术，是当前嵌入式电子产品和超级大规模集成电路设计的主流。芯片的协议变得越来越复杂，规模也越来越庞大，SOC芯片通常都有数据众多的输入输出端口并且还需要传递海量的数据。由美国EXAR公司生产的PANTHER系列芯片是一款高性能的SOC芯片，使用该SOC芯片时，能在不影响电脑速度的情况下，对海量数据处理的速度能达到使用市场上一般大型软件的成千上万倍。而在这种百万甚至上千万门级的

4、SOC设计中，为了保证项目成功，功能验证消耗了整个设计投入的大约70％，已经成为项目的关键路径。如何解决芯片的验证效率和验证质量已成为当今芯片设计的当务之急。本文基于公司项目的实际工作，以PANTHERII项目中作为核心算法处理的子系统SKcore为例，首先介绍了数据压缩算法和功能验证的发展现状以及选题的依据和意义。然后详细介绍了SKcore子系统的组成和算法的基本原理，具体阐述了Skcore子系统的几个构成模块PP、引擎流水线和多路分配器，分别介绍了各个模块的基本构造，并举例阐述了Skcore子系统引擎流水线模块中的主要算法之—1LZs压缩算法的基本原理，该算法也是E

5、XAR公司的专利算法。然后详细介绍了SKcore子系统各部分的数据结构和压缩算法引擎的实现过程，给出了使用verilog语言实现的各模块最终波形结果。同时，文中也介绍了Synopsys公司最新开发的验证方法学VMM的几个优点，包括VMM具有的层次化的验证平台，支持自顶向下和自底向上的方法，使用覆盖率的检测来驱动验证的执行过程和使用断言的方法等。最后结合Skcore子系统的设计并根据各模块需要实现的功能，利用高级验证语言systemverilog搭建了验证Skcore子系统的验证环境，包括验证项层，场景层，命令层，功能层，信号层和测试层的实现和具体的调试过程。以覆盖率统计

6、为目标，对验证结果和覆盖率进行分析，并对验证过程积累的经验和验证结果进行了总结。关键词：SOC，eLZS，VMM验证方法学，DUT，验证平台AbstractWiththerapiddevelopmentofICindustry,System—on-chiptechnologywhichisMultiplexingofIPcoresandultra-deepsub-microntechnologyforthesupport，isthecurrentmainstreamofEmbeddedelectronicproductdesignandsuperLSI．Thechipa

7、greementhasbecomeincreasinglycomplex，andthescaleisgettinghuge，SOCchipusuallyneedstohavealargenumberofdatainputandoutputports，andtransmissionofvastamountsofdat,xPantherseriessocchipproducedbytheUnitedStatesEXARCorporationisahighperformance，inthecasedoesnotaffectthecomputer