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 netlistTimingmodellibr

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 ...

  Analysis, Static, Timing, Static timing analysis, Primetime