Mentor-dft 学习笔记 day3--保姆级udfm文件编写

ps:天行健，君子以自强不息

一.About User-Defined Fault Modeling

 对于未被定义的错误，偶然被检测出来的（detected only by accident），需要我们去定义，这部分就是主要介绍如何定义的，可以使用udfm模块去定义错误

（1） UDFM File Format

Input for: read_fault_sites（输入格式文件）

//用udfm文件定义的ascii的文件

#语法规则 注释// ,关键字不区分大小写，冒号定义关键字，字符串双引号（“”），用分号（；）做结束语

 

 必要的参数：udfm版本，udfm type，fault（名词+可替代测试列表），test（指定测试的故障条件）

example 1

Intra-cell Bridge Fault Example

The following is an example that tests for a cell internal bridge fault of a 2-to-1 multiplexer

(MUX21) from the CMOS123_std library. This example specifies two tests with the required

activation conditions on the input pins for observing on pin Z the effects of the bridge fault.（二选一多路选择器内部错误示例）

UDFM {

version : 1;//版本号是必须的

Properties {

"library-name" : "CMOS123_std";

"create-by" : "my tool 1.0";

}

//属性用双引号

UdfmType ("intra-cell-bridges") {

Cell ("MUX21") {

Fault ("myFlt-N1-Z")

//自定义错误 myFlt-N1-Z

{

Test {

StaticFault {"Z" : 1;}

Conditions {"D0" : 0; "D1" : 0; "S" : 0;}

}