distrib/share/tutorials/hitas/h_macro/sta.tcl

   1 #!/usr/bin/env avt_shell
   2
   3 #############################################################
   4 # Stability Analysis                                        #
   5 #############################################################
   6
   7 # Filter unimportant warning
   8 avt_config avtWarningFilter "STB-018"
   9
  10 avt_config avtLibraryDirs ".:../adder:../cpu2901:../models"
  11
  12 inf_SetFigureName top
  13
  14 create_clock -period 10000 -waveform {5000 0} ck
  15
  16 set_input_delay -min 2000 -clock ck -clock_fall [all_inputs]
  17 set_input_delay -max 3000 -clock ck -clock_fall [all_inputs]
  18
  19 inf_Drive top.inf
  20
  21 set fig [ttv_LoadSpecifiedTimingFigure top]
  22
  23 set stbfig [stb $fig]
  24
  25 stb_DisplaySlackReport [fopen slack.rep w] $stbfig * * ?? 10  all 10000