Mentor-dft 学习笔记 day45-MTFI

Using MTFI Files

此节介绍MTFI（Mentor Tessend Fault Information）功能，可用于ATPG工具和Tessent LogicBIST。MTFI是用于存储故障状态信息的通用且可扩展的文件格式。

MTFI File Format

MTFI是在“dft-edt”和“patterns-scan”上下文中读取和写入故障信息的默认（但可选）文件格式。

MTFI是一种ASCII文件格式，用于存储ATPG工具可以读取和写入的实例的故障信息。

Format

The following simple MTFI example shows the minimum required keywords in bold:

FaultInformation {

: version : 1;

FaultType (Stuck) {

FaultList {

Format : Identifier, Class, Location;

Instance ("/i1") {

0, DS, "F1";

1, DS, "F2";

}

}

}

}

Parameters

MTFI的基本语法元素如下：

•Comments

“//”标识注释的开始，直到行尾。

•FaultInformation｛…｝

指定顶级块和文件类型的关键字。

•version：integer

指定MTFI文件语法版本的关键字。

•FaultType（type）｛…｝

指定数据故障类型的关键字：Stuck、Iddq、Toggle、Transition、Path_delay、Bridge和Udfm。关键字。

•FaultList｛…｝

定义存储每个故障数据的数据块的关键字。

•UnlistedFaultsData｛…｝

定义数据块的关键字，该数据块存储特定灰箱实例的覆盖信息，以允许分层故障统计。

•FaultCollapsing ｛true|false｝

指定故障列表中故障崩溃状态的关键字。值“true”表示列表中的故障已折叠；值“false”表示列表中的错误未失效。只能在FaultList数据块中使用此语句。

•DetectionLimit : integer

指定DS故障检测下降限制的关键字。

•Format

关键字，指定存储在特定数据块（FaultList或UnlistedFaultData）中的值序列。以下关键字可用于Format语句：

o等级

指定故障类别和子类别（例如，DS、UC、AU.BB）的必需关键字。有关更多信息，请参阅“故障支持”

类和子类”。

o位置

指定pin路径名的关键字。只能在FaultList数据块中使用此关键字。如果故障stuck-at，则需要关键字。

o标识符

指定故障标识符的必需关键字。在卡滞或过渡故障的情况下，该值可以是0或1。不支持其他故障类型。

o检测

可选关键字，指定故障类型停留和转换的检测次数。 

o折叠故障计数

指定折叠故障数的必需关键字。只能在UnlistedFaultsData数据块中使用此关键字。

o未故障计数

指定未失效故障数的必需关键字。只能在UnlistedFaultsData数据块中使用此关键字。

•实例（“路径名”）｛…｝

指定数据块中所有引脚的实例路径名的必需关键字。必须将路径名括在括号和双引号中。路径名可以是空字符串。

Examples

The following is an example of a typical MTFI file:

//

// Tessent FastScan v9.6

//