tessent 命令研究 - stil2mgc

• -stil stil_filename
  该选项可以是spf文件（stil procedure file）, 或者也可以是CTL文件。

• -TPF tpf_filename
  该选项指的是tessent procedure file，也就是说为stil2mgc 吐出来的procedure文件。

• -dofile dofile_name
  该选项为指定生成的dofile文件，如果没有指定，将使用stil文件名，后缀为dof

• -flex_dofile
  指的是生成用于Flex（美国伟创力公司）的dofile文件

-alias Min | All
stil2mgc 的过程中，会产生一些alias，我们尽量的在procedure文件能找到的信号，也希望在stil文件中也找到。因此默认采用min，尽量的不要别名化。

-capture None | single | named

默认情况下MGC procedure文件不会有capture procedure。通过该选项，可以将stil文件中的capture阶段拿过来，如果stil文件中有多个capture定义，使用named选项，还可以将多个capture procedure拿过来。

如下图所示，左边是默认跑的，我们虽然可以看到有multiclock_capture_WFT 的timeplate定义，但是，对于procedure来讲，只会有一个procedure capture，右边将capture procedure 设置single，可以看到有一个procedure的capture产生。

• -edge_strobe_processing off | on
  如果开启了该选项 ，那么工具就会执行在spf中的H 和 L来表示edge strobe timing
  因为我们一般是将spf去转，spf文件中并不存在H和L的比对过程，所以该选项一般不需要去设置。

• -infer_pulse_clock ON | off
  似乎是定义时钟是否是唯一定义的，后续实验验证，默认为 ON

• -Exec exec_name
  该选项指的是stil文件中的exec procedure部分必须只能有一个，不能为多个，如果有多个，那必须要指明是哪一个。spf文件不会存在这种情况，stil文件才会有exec procedure，而且dc生成的一般只会有1个，所以该选项不太可能用到。

• -write_core_description [-output_directory dir_path] [-TCD_SCAN_EXTENSION ext][-CTL_mode mode_name] [-core_name name]

显然-out_directory指的是写出的TCD文件目录，告诉工具放在那里，如果目录不存在 tool会自动创建
-tcd_scan_ext ext 指的是tool吐出来的tcd文件扩展名，默认扩展名字是tcd_scan
-CTL_mode mode_name 指的是读取CTL的哪一个mode，我们知道在DC中，我们也有多个test mode，然后write出来，比如intl mode以及compress mode。该选项指定的是读取CTL的哪一个mode。不过我们也可以将CTL转换为了TCD文件后，然后再去指定mode。

• Core_name name 指定stil2mgc吐出来的core的naming。

• -Logfile
  -写出stil2mgc 的log文件

• -replace
  一个额外的选项用来覆盖掉已经存在的内容

• -help

• -usage
  stil2mgc的详尽描述