




版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、2020/6/18,.,集成电路设计流程和EDA工具CAEDAEDA技术经理傅红军,2020/6/18,.,集成电路设计流程和EDA工具,ContentofPresentation设计流程FunctionalVerificationSynthesisTimingTestingP例子:形式验证(formalverification)静态时序分析(statictiminganalysis),2020/6/18,.,集成电路设计流程和EDA工具,SimulationSoftwaretosimulatecircuitbehaviorinvirtualtime(processeventssequenti
2、ally)CoverBehavior,RTLandgateslevelPros:flexibleeasydebuggingtransparent,2020/6/18,.,集成电路设计流程和EDA工具,SimulationEvent-DrivenSimulationCycleBaseSimulationCompliedCodeLogicSimulation,2020/6/18,.,集成电路设计流程和EDA工具,SimulationAccelerationUsespecialhardwaretosimulatecircuitbehaviorinvirtualtimeTraditionallyonl
3、ycovergatelevelRTLtechnologyisgettingmatureandwellaccepted,2020/6/18,.,集成电路设计流程和EDA工具,EmulatiomUsemirrorhardwaretomimiccircuitbehaviorDesignerareacceptingemulationPros:forlatedesignstagebeforetapeoutfastcanconnecttorealtimesystemprototyping,2020/6/18,.,集成电路设计流程和EDA工具,EmulatiomCons:moreexpensivediffi
4、culttouse,timingusersneeditfromearlystagedebugging,2020/6/18,.,集成电路设计流程和EDA工具,形式验证(FormalVerification)通过数学的方法证明不同层次设计的等效性;传统的验证方法:,2020/6/18,.,集成电路设计流程和EDA工具,形式验证(FormalVerification)形式验证方法:,spec,Designcreation,RTL,DesignImplementation,Gate,PhysicalImplementation,GDSII,形式验证(FormalVerification)形式验证方法:
5、,EquivalenceChecker,EquivalenceChecker,2020/6/18,.,集成电路设计流程和EDA工具,ContentofPresentation设计流程FunctionalVerificationSynthesisTimingTestingPnostructureResynthesis:concernsthedatapath,resourceallocationandassignmentcanbeimprovedbasedonmoredetailedKnowledgeaboutphysicalcharacteristcsofalernateimplementati
6、on,2020/6/18,.,集成电路设计流程和EDA工具,RegisterLevelSynthesis(cont.)RegisterRelocation:modifiestheinitialassignmentofoperationtocontrolstepsbystructuralchangesRe-timing:optimizestheperformanceHDLSynthesis:Correcttranslationofcycle-by-cyclebehaviorintofunctionallyequivalentsetofequations,2020/6/18,.,集成电路设计流程和
7、EDA工具,LogicLevelSynthesis(cont.)LogiclevelSynthesisThemainpointisoptimization,logic-minimizationAimingtheminimalarea(measuredasnumberofliterals)MappingMapthegroupsofabstractgatestomatchingphysicallibrarycellsofagiventargettechnology,2020/6/18,.,综合的具体过程,Synthesis=Translation+Optimization+Mapping,Resi
8、due0);If(high_bits=“10”)thenresidue0);Endif;,Translation,Optimize+Map,GTECH:通用库,目标库,2020/6/18,.,综合的目的,提高效率,抽象,利用技巧,再利用,容易验证,容易移植,提高自身,2020/6/18,.,RTL综合的简单过程,2020/6/18,.,集成电路设计流程和EDA工具,PhysicalSynthesis物理综合=synthesis+placement+optimization在深亚微米设计中,考虑连线的延迟,加速时序收敛,2020/6/18,.,基于物理综合流程概述,RTL,Synthesis(D
9、C),Floorplan(SE),CellPlacement(PC),CTGEN&Routing(SE),RCextraction(HyperExtract),Verification(backannotation),STA(PT),DRC&LVS(Dracula),Tapeout,DC:DesignCompilerPC:PhysicalCompilerSE:SiliconEnsemblePT:PrimeTime,DRC:DesignRuleCheckLVS:LayoutVersusSchematicSTA:StaticTimingAnalysis,2020/6/18,.,集成电路设计流程和E
10、DA工具,ContentofPresentation设计流程FunctionalVerificationSynthesisTimingTestingP&RPhysicalChecking/ExtractionEDATools,2020/6/18,.,集成电路设计流程和EDA工具,StaticTimingAnalysisAmethodfordeterminingifacircuitmeetstimingconstraintswithouthavingtosimulateclockcyclesDesignsarebrokendownintosetsoftimingpathsThedelayofea
11、chpathiscalculatedAllpathdelaysarecheckedtoseeiftimingconstraintshavebeenmeet,2020/6/18,.,集成电路设计流程和EDA工具,StaticTimingVerificationTocheckthepotentialtimingviolationsetuptimeholdtimepulsewidthclockskewcheckingetc.,2020/6/18,.,集成电路设计流程和EDA工具,ContentofPresentation设计流程FunctionalVerificationSynthesisTimin
12、gTestingP&RPhysicalChecking/ExtractionEDATools,2020/6/18,.,VLSIRealizationProcess,Determinerequirements,Writespecifications,DesignsynthesisandVerification,Fabrication,Manufacturingtest,Chipstocustomer,Customersneed,Testdevelopment,2020/6/18,.,Verificationvs.Test,Verifiescorrectnessofdesign.Performed
13、bysimulation,hardwareemulation,orformalmethods.Performedoncepriortomanufacturing.Responsibleforqualityofdesign.,Verifiescorrectnessofmanufacturedhardware.Two-partprocess:1.Testgeneration:softwareprocessexecutedonceduringdesign2.Testapplication:electricaltestsappliedtohardwareTestapplicationperformed
14、oneverymanufactureddevice.Responsibleforqualityofdevices.,2020/6/18,.,DFT(Design-for-Test),Scanstuck-at/DCDelay/ACLogicBIST(Built-inSelf-Test)MemoryBISTiddq,2020/6/18,.,Scanpath扫描路径法,扫描路径法是一种规则的可测试性设计方法,适用于时序电路。其设计思想是把电路中的关键节点连接到一个移位寄存器上,当作为扫描路径的移位寄存器处于串入/并出状态时,可以用来预置电路的状态。当作为扫描路径的移位寄存器处于并入/串出状态时,可以
15、把内部节点的状态依次移出寄存器链。,2020/6/18,.,集成电路设计流程和EDA工具,ContentofPresentation设计流程FunctionalVerificationSynthesisTimingTestingP&RPhysicalChecking/ExtractionEDA,2020/6/18,.,集成电路设计流程和EDA工具,ContentofPresentation设计流程FunctionalVerificationSynthesisTimingTestingP&RPhysicalChecking/ExtractionEDATools,2020/6/18,.,集成电路设
16、计流程和EDA工具,PhysicalCheckingDesignChecksPerformedAfterP&RBeforeFabricationRelatedtoSpacing,Connections,ViasElectricalChecksPerformedDuringP&RFocusonShortCircuit,OpenCircuitandFloatingNodesLVSPerformedAfterP&RToEnsureFinalPhysicalLayoutIsconsistentToInputNetlist,2020/6/18,.,CircuitExtraction,Convertlay
17、outgeometrytocircuitnetlistdevicessometimesconverttogatesconnectivityparasiticsGoalverifythatlayoutmatchescircuitassumelayoutpassesDRCdetermineactualcircuitparasiticsback-annotateandresimulateuseminimumCPUtime,memoryintegratedextractor+layouteditoruseexistingdatastructuresextractinteractively,2020/6
18、/18,.,40,EDAtools,2020/6/18,.,RespondentsuseEDAtoolsforavarietyoffunctions,2020/6/18,.,CadenceandSynopsystoolsarecurrentlymostused,2002,2020/6/18,.,AboutCAEDA,CAEDA致力于为科研,企业,教育等部门提供国际上最新、最先进的EDA设计,以及集成电路设计咨询和解决方案CAEDA业务包括三个方面:设计咨询服务ConsultancyEDA和CAE销售CAE/EDAsoftwaredistribution培训课程Trainingcourses,2
19、020/6/18,.,CAEDAEDA产品介绍,ADiT数模混合电路级仿真解决方案DesignCraft逻辑综合工具DesignCraftPro物理综合工具TimeCraft静态时序分析工具Laker全定制版图工具DebussyHDL调试工具SpecmantElite自动化系统功能验证工具,2020/6/18,.,SPICEINPUTDECK,Verilog(HDL),Parser&Partition,MOSFETTable,Debussy(nWave),ADiT-PLOT,ADiT-Engine,SPICE,Turbo,MOT,HDL,Veritools(undertow),VPI,ADiT
20、Analog,DigitalTurboSimulator,2020/6/18,.,LakerL3fullcustomICdesign,DesignbrowserEasilytraversedesignManipulatelogichierarchytooptimizeforlayoutpurposeD&DdevicestocreatelayoutSchematicgeneratorForm-gateanduserdefinedsymbolsmakeitmorereadablethanCDLnetlistHelplayoutplanningLayoutwindowFlightlinestoshowtheconnectivityReal-timeshortdetectorCrossprobing,2020/6/18,.,Verification=Detection+Debug,ChangeCode,SimulateAgain,Capture,Intent,Detect,Errors,Debug,Capture,Design,Verilog,VHDL,Testb
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 2025年电工材料:电气项目申请报告
- 2025年罗茨鼓风机项目申请报告
- 2025年沈阳市高校毕业生“三支一扶”计划招募考试笔试试题(含答案)
- 2025年叉车司机真题题库大全(附答案)
- 2024年浙江省泰顺县人民医院公开招聘医务工作人员试题带答案详解
- 2024年新疆奇台县人民医院公开招聘医务工作人员试题带答案详解
- 2024年新疆伊宁县人民医院公开招聘医务工作人员试题带答案详解
- 车辆运输安全责任承包协议
- 2024年陕西省定边县人民医院公开招聘医务工作人员试题带答案详解
- 信息化采购培训课程设计与实施合同
- 储能电站基础知识
- 夫妻婚内财产约定协议书范本(2025年)
- 信息技术设备互连 智能家居互联互通 第1部分:架构与要求 征求意见稿
- 2024年数智工程师职业鉴定考试复习题库(含答案)
- 北师大版数学六年级上学期期中试卷
- 中风脑梗死恢复期中医护理方案课件
- 《细菌毒素》课件
- 新《医用X射线诊断与介入放射学》考试复习题库(含答案)
- 校长教职工大会讲话材料
- 中共党史知识竞赛试题及答案
- NBT 42033-2014 小水电站群集中控制系统基本技术条件
评论
0/150
提交评论