1.DesignFlowOverview2.VerilogataGlance3.RTLSimulation4.CodeCoverageAnalysis5.RTLSynthesis6.LogicSynthesis7.Gate-levelDelayCalculation8.StaticTimingAnalysis9.PowerAnalysis&Optimization10.DFT&ATPG11.AutomaticPhysicalDesign12.PhysicalVerification13.FormalEquivalenceChecking