最新spyglass-高级lint-check教学讲义PPT课件.ppt

《最新spyglass-高级lint-check教学讲义PPT课件.ppt》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、spyglass-高级lint-checkCONFIDENTIALINFORMATIONThefollowingmaterialisconfidentialinformationofSynopsysandisbeingdisclosedtoyoupursuanttoanon-disclosureagreementbetweenyouoryouremployerandSynopsys. Thematerialbeingdisclosedmayonlybeusedaspermittedundersuchnon-disclosureagreement.IMPORTANTNOTICEI

2、ntheeventinformationinthispresentationreflectsSynopsys’futureplans,suchplansareasofthedateofthispresentationandaresubjecttochange. Synopsysisnotobligatedtodevelopthesoftwarewiththefeaturesandfunctionalitydiscussedinthesematerials. Inanyevent,Synopsys’productsmaybeofferedandpurchasedonlypursua

3、nttoanauthorizedquoteandpurchaseorderoramutuallyagreeduponwrittencontract.SpyGlassRTLSignoffPlatformCompleteTechnologyIPandSoCSignoffReferenceMethodologyHighImpact,LownoiseManagementReportsLinkedHTMLFlexibleUseModelsBatch,TclshellandGUISpyGlassPlatformLintCDCRDCSDCTXVLowPowerPowerEstimate&Red

4、uceDFTLanguageSupportVerilogsupportSpyGlasssupportsallthestandardoptions:-y,-v,+libext,+incdirPrecompiledVerilogmodulessupportedVerilog2KsupportisdefaultbehaviourVHDLsupportTheIEEE,STD,andSynopsyslibrariesarelinkedbydefaultYoucancreateanduseyourownlibrariesinSpyGlassIMPORTANT:VHDLlibrariesare

5、notinterchangeablebetweenVHDLtoolsSystemVerilogsupportComplianttoIEEE1800-2005/2009standardAllconstructs(design,assertionsandtestbench)supportedforsyntaxchecksSynthesissubsetoftheconstructssupportedforrule-checksMixedlanguagesupportedaswellSpyGlass–RTLLintAnalysisThefoundationoftheSpyGlasspla

6、tformDrivescorrect-by-constructionRTLdesignbyfinding(andfixing)problemsatsourceCompliancetocodingguidelines,STARC,OpenMore,MorelintSynthesizability&simulationissuesStructural,logicalandconnectivityissuesClock-resetissuesElectricalrulechecksStructuredmethodologyandtemplateshelptackledesignissu

7、essystematicallyFacilitatesIPreusebyenabling“golden”RTLAutomatestheauditanddesignreviewprocessbyproducingsimpleviolationandwaiverreportsUserRTLRTLwithNoDesignRisksSyntaxandLintchecksSemanticchecksSynthesizabilitychecksStructuralanalysisNetlis