STA - Static Timing Analysis - BGU

← Back to document page

STA - Static Timing AnalysisSTALecturer: 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 SDFPrimeTimeRequired Input FilesSynthesis technology librarySynthesis technology libraryDesignconstraints in TclDesignconstraints in TclSDFSDFDelay CalculatorGate-level netlistGate-level netlistTimingmodellibraryTimingmodellibr aryErrors/Warnings?

STA - Static Timing Analysis STA Lecturer: Gil Rahav Semester B’ , EE Dept. BGU. Freescale Semiconductors Israel

  Analysis, Static, Timing, Static timing analysis