TetraMax软件图形化界面使用详细介绍

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