About Check

Directory check contains two different kinds of check environments.

• formality:

  Formality based check environments

• spyglass:

  Spyglass based check environments

Existing Environments

fm_calc_add_knl

• Function

  1. check design calc_add_knl with Formality

• Content

  item	description	postscript
  script/makefile.mk	mother makefile
  script/top.tcl	entry script of Formality Tcl
  script/lst2Tcl.pl	script to convert file list to Formality Tcl
  fm_calc_add_knl/makefile	daughter makefile
  fm_calc_add_knl/session	check session	generated by command make chk

• Pre-Request

  item	my version
  make	3.82
  spyglass	N-2017.12-SP2 for Linux

• Usage

  In the Linux server, change the directory to check/formality/fm_calc_add_knl,

  then you can

  1. view help with

     make
     

     then you will get

     

  2. check with

     make chk
     

     then you will get

     

     ...

     

  3. view configuration value with

     make cfg_view
     

     then you will get

     

  4. clean files with

     make clean
     

     or

     make clean_all
     

     then you will get

     

sg_calc_add_knl

• Function

  1. check design calc_add_knl with Spyglass

• Content

  item	description	postscript
  script/makefile.mk	mother makefile
  script/lst2Tcl.pl	script to convert file list to Spyglass Tcl
  script/analyzeReport.pl	script to analyze Spyglass reports
  fm_calc_add_knl/makefile	daughter makefile
  fm_calc_add_knl/rule.lst	Spyglass rule list
  fm_calc_add_knl/setCst.sgdc	constraints related Spyglass Tcl
  fm_calc_add_knl/session	check session	generated by command make com or make chk
  fm_calc_add_knl/session/top.tcl	entry script of Spyglass Tcl	generated by command make com or make chk

• Pre-Request

  item	my version
  make	3.82
  formality	Q-2019.12-SP5

• Usage

  In the Linux server, change the directory to check/spyglass/sg_calc_add_knl,

  then you can

  1. view help with

     make
     

     then you will get

     

  2. compile with

     make com
     

     then you will get

     

  3. check with

     make chk
     

     then you will get

     

  4. view check results with

     make chk
     

     then you will get

     

  5. view configuration value with

     make cfg_view
     

     then you will get

     

  6. clean files with

     make clean
     

     or

     make clean_all
     

     then you will get