基于vhdl的数字soc设计与验证的全面自动化实现

《基于vhdl的数字soc设计与验证的全面自动化实现》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、Ｉ齡《謂藏作圍硕±学位论文胃圓礫Ｉ基于ＶＨＤＬ的数字ＳｏＣ设计与Ｓ验证的全面自动化实现；ＨＩ＾Ｉ＇Ｉ＾ｋ作者姓名王晓耕Ｉ．ｕ学校导臟名、职務舒斌副教巧Ｉ企业导臟名、职称郡健窩工Ｉ申请学麵麵古Ｉ圍補ＨＪ学校代码10701学号1311122928分类号TN4密级公开西安电子科技大学硕士学位论文基于VHDL的数字SoC设计与验证的全面自动化实现作者姓名：王晓耕领域：集成电路工程学位类别：工程硕士学校导师姓名、职称：舒斌副教授企业导师姓名、职称：邵健高工学院：微电子学院提交日期：2016年3

2、月ComprehensiveAutomationofSoCDesignandVerificationBasedonVHDLAthesissubmittedtoXIDIANUNIVERSITYinpartialfulfillmentoftherequirementsforthedegreeofMasterinSoftwareEngineeringByWangXiaogengSupervisor:ShuBinAssociateProfessorShaoJianSeniorEngineerMarch2016西安电子科技大学学位论文独创性（或创新性）声明秉承学

3、校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加标注和致谢中所罗列的内容［＾外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得西安电子科技大学或其它教育机构的学位或证书而使用过的材料一。与我同工作的同事对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意。一学位论文若有不实之处，本人承担切法律责任。本人签名：城曰期；西安电子科技大学关于论文使用授巧的说明本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生

4、在校攻读学位期间论文工作的知识产权属于西安电子科技大学。学校有权保留送交论义的复印件，允许查阅、借阅论文；学校可Ｗ公布论文的全部或部分内容，允许采用影印、缩印或其它复制手段保存论文。同时本人保证，结合学位论文研究成果完成的论文、发明专利等成果，署名单位为西安电子科技大学。保密的学位论文在年解密后适用本授权书。＿本人签名：主场如Ｉ导师签名：曰期：曰期：．斯矣．寺摘要摘要遵循着摩尔定律的指导，半导体行业发展日新月异。IP复用技术使得片上集成功能迅速增多，以SoC为代表的片上结构复杂度不断增加，给数字IC前端的设计和验证上带来

5、巨大挑战。为了保证上市时间，产品开发周期越来越短，多项目同时进行或流水进行已经司空见惯，设计工程师和验证工程师面临着巨大的压力和考验。为了提高设计和验证工作的效率和质量，自动化生成是必须要采取的可行性手段。因此本文提出采用可复用的自动化脚本和工具作为解决方案。本论文基于本人实习所在公司的项目，以SoC上的系统控制单元为例，对其功能进行了简单的介绍，着重介绍了系统控制单元的核心功能——复位管理。对于设计工作，由于复位管理具有很强的规律性，满足自动化生成的条件。因此可以利用脚本生成通用的复位模型。另外还介绍了如何使用脚本工具生成子模块互联所产生的层次以及生成寄存器

6、模块。对于验证工作，测试平台是任何模块或IP进行功能仿真所必须搭建的，为了节约验证工程师搭建测试平台的时间，我们采用脚本对其进行自动化生成。测试用例是验证目标的具体实现形式，包含输入激励和输出校验。复位模块接受多种复位源并且输出一百余个复位信号，要覆盖所有情景时测试用例的编写非常繁杂，因此我们同样采用脚本对其进行自动化生成。最后为了验证自动化代码的正确性，本文采用了依赖测试平台和测试用例的功能仿真，以及不依赖激励的形式验证，以差异化的手段确保代码功能符合需求。目前，本文所采用的自动化生成技术已经十分成熟和稳定。工程师只需要对Perl脚本做很小的调整，便可复用于

7、多个不同的项目。关键词：片上系统，上市时间，自动化，系统控制单元IABSTRACTABSTRACTFollowedwiththeMoore’slaw,semiconductorindustrykeeponchanging.IPreusetechnologymakestherapidincreaseoftheintegratedfunctiononchip,fabricrepresentedbySoCarebecomingcomplexitydaybyday,whichbringhugeefforttoICfront-enddesignandverificati

8、on.Forensurenceofti