Transcription of STA - Static Timing Analysis - BGU
{{id}} {{{paragraph}}}
STA - Static Timing AnalysisSTAL ecturer: Gil RahavSemester B , EE Dept. Semiconductors IsraelStatic Verification FlowFunctionalFunctionalSimulationSimula tionScanScanSynthesisSynthesisPlacePlace TestbenchTestbenchClockClockTreeTreeRout eRouteRTL DomainGate-level DomainStatic Timing AnalysisStatic Timing AnalysisEquivalence CheckingEquivalence CheckingEquivalence Equivalence CheckingCheckingSignOffWhat is Static Verification? Static verification: Verifies Timing andfunctionality STA andequivalence checking Is exhaustive Uses formal, mathematical techniques insteadof vectors Does notuse dynamic logic simulationStatic Timing Analysis FlowEvery Corner and ModeErrors/Warnings?Fix dataNext step in designflowAnalyze ReportsRead required filesValidate inputsnoyesReady to perform STAon a gate-levelsynchronous designusing SDFP rimeTimeRequired Input FilesSynthesis technology librarySynthesis technology libraryDesignconstraints in TclDesignconstraints in TclSDFSDFD elay CalculatorGate-level netlistGate-level netlistTimingmodell
Static Timing Analysis Flow Warnings? Errors/ Every Corner and Mode Fix data Next step in design flow Analyze Reports Read required files Validate inputs no yes Ready to perform STA on a gate-level synchronous design using SDF PrimeTime. Required Input Files Synthesis technology library Synthesis technology library Design constraints in Tcl ...
Domain:
Source:
Link to this page:
Please notify us if you found a problem with this document:
{{id}} {{{paragraph}}}