TetraMax GUI使用介绍
Tetramax主界面：
Netlist（读取网表）：
·Nelist file --可以使用所提供的文本字段手动指定要读入的netlist文件的位置和名称。
·Browse -- 可以通过单击Browse按钮来通过图形界面选择想要读取的netlist文件。
·File Type -- 默认情况下，netlist格式是由TetraMAX自动检测的。
也可以手动选择EDIF、Verilog或VHDL netlist格式。
·Clear previous netlist -- 指定在内存中当前读取的所有netlist将被删除。
如果文件名称也被指定，那么在读取该文件之前，将清除内存。
·Abort on error -- 当这个框被选中(默认选中)时，当多个netlist被读取时，TetraMAX将会终止它。
这就允许使用通配符(*)文件名读取所有的netlist。
TetraMAX忽略了这个选项，如果你使用这个选项来读取单个的netlist，就会发出一个警告信息。
·Verbose -- 指定使用通配符文件名时显示单个netlist信息。
默认情况下，只对所读取的所有netlist 进行简单的总结。
·Library Module -- 指定在指定的文件名称中定义的所有模块应该被视为是库模块。
·Master Module -- 指定被读取的文件定义的所有模块应该被标记为主模块。
通常，当读取多个具有相同名称的模块时，最后一个模块将确定最终模块定义
·Max errors --指定在当前文件终止netlist解析之前允许的最大解析错误数。
默认设置为10。
·Conservative Mux -- 指定保守的MUX门是否从MUX的保守UDP模型中提取出来。
其中：
None --所有提取的MUXes都是规则的(如果必要的话，会发出适当的违规)。
Combinational udp (default) --可以从组合的UDPs中提取保守的MUXes，但不能从序列的UDPs中提取。
All --可以从任何UDP、组合或序列中提取保守的MUXes。
当选择此设置时，顺序UDPs的提取对不完整和不一致的UDPs的容忍度较低，这可能会被提取到TIEX，尽管如果-保守的mux被设置为none或- combinational_udp，则可以提取gor级别的模型。
只有当解析的顺序UDPs被正确定义时，才使用所有设置
Escape Char -- 指定转义字符是否作为标识符名称的一部分保存。
选择是:只有在需要时，总是，或者从不。
例如，选择一个没有原因的“\ net[4]”成为“net[4]”;这个名字与一个矢量网“net”的第4位无法区分，所以这个选项应该非常小心使用。
默认是在需要时。
·Dominance Detection –指定派生的ATPG模型是否识别设置/重置/时钟引脚之间的主导行为。
选择关闭可禁用此检查，而启用它。
一个布尔值的选择允许检查，但只检查时钟/设置/重置为布尔值的状态表项，并忽略它们是Xs的条目。
默认的是打开的。
·Redefined Module -- 指定如何处理模块的重新定义。
在多个定义的情况下，一个定义被保留，而另一个定义被忽略。
您可以指定第一个或最后一个遇到的netlist定义作为保留。
默认的是最后一次。
·Cell Define -- 选择是否忽略netlist中Verilog编译器指令的celldefine。
·enable port_faults -- 启用端口故障，默认开启
·suppress faults -- 抑制故障,默认开启
·model X for UDPs –- 使用UDP模式，默认开启
·enhanced seq modeling -- 增强序列建模,默认关闭
·check only used UDPs -- 检查只使用UDP协议的网表文件
·fault assign statements –- 故障分配报表
·net[n:n] is scalar 网[n:n]是标量的
Build（建立ATPG）模型：
•RUN --在顶部模块名称文本字段中，输入要构建的设计或模块的名称。
（建议与读取网表文件是的名称相同）如果您没有提供名称，TetraMAX搜索一个没有被任何其他模块引用的模块。
•Set Build Sectio -- 该部分提供了对控制构建仿真模型的参数的访问。
这些参数对应于set build命令。
•Set Learning -- 设置学习部分设置控制TetraMAX学习过程的参数。
Sim passes —指定在ATPG等价分析过程中执行的模拟传递次数。
Test passes —指定在ATPG等价分析过程中执行的测试生成的次数。
Implication —指定要执行的隐含学习分析工作。
Max Feedback —指定组合反馈路径中源数的极限。
其中：
ATPG Equivalence —指定是否要执行ATPG等价分析
Common Input —指定是否执行公共输入分析。
Disable Time Limit —禁用时间限制学习选项。
Verbose —指定ATPG对等分析报告中详细的数量
Set build -- 构建部分提供了对控制构建仿真模型的参数的访问。
这些参数对应于set build命令。
DRC（设计规则检查）：
DRC涉及对设计的许多方面的分析, 可执行DRC检查包括以下条件:扫描链的输入和输出是有逻辑连接的、与扫描链人字拖连接的时钟和异步设置/复位插脚只由主要输入端口控制、当你从正常模式切换到扫描转换模式时，时钟/设置/重置是关闭的，当你切换回正常模式时需要重置。
因此，TetraMAX可以执行这些和其他DRC的检查，就必须提供关于时钟端口、扫描链和其他控制的信息，通过一个STIL测试协议文件。
可以从DFT编译器生成STIL文件，也可以在“STIL过程文件”中手动创建。
要使用Run DRC对话框执行DRC，
点击位于TetraMAX主窗口顶部的命令工具栏中的DRC按钮。
出现了DRC对话框。
如果尚未激活，单击Run选项卡。
在Test protocol文件名字段中，键入先前创建的STIL过程文件的路径名，或者使用Browse按钮导航并选择文件。
对于基本的设计流程，最好接受默认设置。
有关这些设置和其他设置的详细信息，需要按照 run_drc命令进行设置。
具体需要设置的参数如下图：
ATPG（运行ATPG）：
默认情况下，TetraMAX首先执行basic - scan ATPG，接着是快速顺序的ATPG(如果启用)，以及完整顺序的ATPG(如果启用的话)。
·基础ATPG参数设置
·Basic-Scan ATPG参数设置
·Fast-Sequential ATPG参数设置
·Full-Sequential ATPG参数设置
具体参数的设置参照set_atpg、run_atpg命令
为了在模式压缩和执行速度之间获得良好的平衡，可以调整set_atpg命令的中止限制和其他参数设置。
以下描述如何运行ATPG:
·快速评估测试覆盖率；
将中止限制设置为5。
将合并工作设置为Off。
·增加更加多次的尝试；
将中止限制设置为10或以下。
将合并工作设置为Off。
生成测试模式(run_atpg)。
检查结果。
如果有太多ND(未检测到)错误，则增加中止限制并再次生成测试模式。
重复，以确定达到预期结果所必需的最小中止限度。
·使用较少的模式最大化测试覆盖率；
将中止限制设置为100 - 300。
将合并工作设置为High。
执行run_atpg -auto_compression。
检查结果。
如果仍然有太多的NC或没有错误，将中止限制增加2倍，再执行run_atpg。
·使用较少的模式获取目标测试覆盖率；
为了获得目标测试覆盖值，同时最小化模式的数量，请遵循获取最大测试覆盖率的过程，并将覆盖率百分比(-覆盖率选项)设置为1到99之间的数字，这代表了您的目标测试覆盖率。
注意:TetraMAX在32组中创建模式，并在每个32模式边界上检查这个限制，因此生成的模式可能超过目标测试覆盖率。
·多次检测故障；
n -检测尝试在ATPG中检测故障n次。
默认是一个错误检测。
在故障模拟过程中，错误被保存在活动列表中，直到检测到n次。
·回顾测试覆盖率。
单击位于TetraMAX主窗口顶部的命令工具栏中的Summary按钮。
出现“报告总结”对话框。
选择您想要的摘要。
Write pat
在file name 初输入想要输出的文件命名即可以.txt结尾。
File format选择Verilog-Single File。