# Mentor Graphics Tessent工具常用命令详解
## 一、`read_design`命令
1. **功能**
- 此命令用于将设计文件读入Tessent环境。设计文件可以是Verilog、VHDL等格式,这是后续进行DFT操作的基础。
2. **语法格式及参数**
- 基本格式:`read_design [options] <design_file>`
- 常见参数:
- `-format <file_format>`:指定设计文件格式,如`-format verilog`表示Verilog文件格式,`-format vhdl`表示VHDL文件格式。
- `-top <top_module_name>`:指定设计中的顶层模块名称,例如`-top my_top_module`。这有助于Tessent确定设计的层次结构。
## 二、`write_design`命令
1. **功能**
- 与`read_design`相反,将经过Tessent处理后的设计写出到文件中,可用于保存带有DFT结构(如扫描链插入后的设计)的文件。
2. **语法格式及参数**
- 基本格式:`write_design [options] <output_file>`
- 常见参数:
- `-format <file_format>`:指定输出文件格式,如`-format verilog`或`-format vhdl`。
- `-hierarchy <hierarchy_option>`:指定输出文件中的层次结构表示方式,如`-hierarchy flat`(平铺层次结构)或`-hierarchy preserve`(保留原始层次结构)。
## 三、`set_fault_model`命令
1. **功能**
- 设定故障模型,这是进行ATPG操作的重要前提。常见的故障模型有固定故障(Stuck - at Fault)等。
2. **语法格式及参数**
- 基本格式:`set_fault_model [options] <fault_model_type>`
- 常见参数:
- `-type <fault_type>`:对于固定故障模型,可进一步指定`-type stuck - at - 0`(固定为0故障)或`-type stuck - at - 1`(固定为1故障)等。
- `-coverage <coverage_requirement>`:设定故障覆盖率要求,如`-coverage 90`表示要求故障覆盖率达到90%。
## 四、`scan_insertion`命令
1. **功能**
- 在设计中插入扫描链,将普通触发器转换为扫描触发器并连接成扫描链,以便在测试模式下更好地控制和观测内部状态。
2. **语法格式及参数**
- 基本格式:`scan_insertion [options]`
- 常见参数:
- `-design <design_name>`:指定要进行扫描插入的设计名称,如`-design my_chip`。
- `-chain_length <length>`:设定扫描链的长度,例如`-chain_length 1