资源描述：
《大规模集成电路验证》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。
1、VLSIDesignandVerification大规模集成电路设计与验证VLSIVerfication大规模集成电路验证验证部分的授课内容除VLSI设计之外的全部内容均是验证设计vs.验证(designvs.Verification)验证vs.测试(Verificationvs.Test)投片前验证vs.投片后验证(Pre-Siliconvs.Post-Silicon)Verfication,Validation,Testing参考资料课程教材《集成电路计算机辅助设计与验证实践/算法》HardwareDes
2、ignVerification:SimulationandFormalMethod-BasedApproaches.PrenticeHallPTR.ISBN:0131433474全面的功能验证：完整的工业流程ComprehensiveFunctionalVerification:TheCompleteIndustryCycleProceedings:DAC,DATE,HLDVT,ITC验证部分课程学习组成课程讲授
3、HOME实验作业｜考试掌握原理的基础上强调实践验证原理，工具算法原理工具SynopsysVCS,
4、CadenceIUS/IES,MentorModelSIMIFV,ZeroIn,SpyGlass,Conformal,FomalityDC,RC,ICC,Encounter,TessentOfficeHour唐遇星，副研究员yuxing.tang@gmail.comtyx@nudt.edu.cn微电子与微处理器研究所微处理器研究室619Monday–Tuesday:20:00–22:00andweekend302计算机工厂停车场北楼AgendaPart0.WelcomePart1.VerficationInt
5、roductionPart2.TestbenchSimulationToolPart3.TestbenchConstructionandOpenSPARCPart.0WelcomeWelcome领域Welcome校园Welcome课程Part.1IntroductionWhat?什么是验证？Why?为什么要验证？How?如何开展验证？验证包括哪些内容主要的验证方法验证的困境WhatisDesignVerification什么是验证TheOppositeofDesignDesign:Make/Implement
6、sththatyouwantVerification:Makesurethatsthiswhatyouwant(correct)确保设计符合原始设计需求与目标功能正确，性能达标，功耗、良率和成本符合要求VLSI团队分工DesignTeam&VerificationTeamAtleast1:1,Now1:31:4TimeStatistic:30%Design,70%VerficationHint:设计人员必须完成初始验证才能提交设计；但一个设计的必须由额外的验证人员审核Design,Verificationan
7、dTestingDesignSynthesis设计综合根据设定的输入输出功能，使用现有的方法、技术、材料和工艺制造设备的过程Verification验证预测并保证设计与综合在制造过程乎能够根据输入输出完成功能Test测试用于保证按照设计综合结果来生产的器件，不受制造错误影响Verificationvs.TestingVerification检验设计的正确性主要方法为模拟、硬件仿真和形式化方法在设备制造之前多次重复，但对一个设计仅一次完整正确验证为设计的质量负责Testing检测生产结果的正确性分两个步骤：设计
8、期间产生测试；生产后应用测试对生产出来的每个产品均完成一次测试对器件的质量负责WhyweneedVerificationExample11980北美防空司令部误报遭受导弹袭击检测反馈电路故障检测反馈软件对故障未处理，直接报告预警PossibleWorldWarIIIExample21996年阿丽亚娜5火箭爆炸64位双精度浮点操作转换为16位整数时产生的例外重新设计的计算节点板＋完全重用阿丽亚娜4软件代价$800M4颗Cluster卫星WhyweneedVerficationExample3IntelPenti
9、um处理器FDIV除法错误Pentium处理器在双精度运算时有时会返回单精度的结果代价$400M所有产品召回如何展开验证设计的每个步骤都对应着验证只有描述转换的过程就对应着验证系统级设计RTL设计概念设计逻辑综合可测性设计物理设计signoff投片系统级模拟功能模拟验证概念检测验证计划网表模拟反标模拟一致性检查一致性检查门级模拟物理验证超标量？Pipeline,FP,L2C多核？异构？综合后结果功能
