ATPG之STIL格式说明

ATPG之STIL格式说明

 

ATPG之STIL

STIL test protocol file(.SPF)

转自： http://www.blogbus.com/bb2hh-logs/60233278.html

Author：pythonlong

stil文件是atpg的基础，用好atpg工具当然要熟悉stil格式。

下面是基本说明：）

STIL 1.0 { 

Extension DesignP2000.5; 

} 

Header { 

Title " TetraMAX(TM) 2000.05-i000622_173054 STIL output"; 

Date "Wed Dec 3117:21:05 1999"; 

History { } 

} 

Signals { 

CLK In; RSTB In; SDI2In; SDI1 In; INC In; SCAN In; HACKIN In; si4 In; 

six In; D0 InOut; D1InOut; D2 InOut; D3 InOut; SDO2 Out; COUT Out; 

HACKOUT Out; so4 Out;sox Out; 

} 

SignalGroups { 

_pi = 'D0 + D1 + D2 + D3+ CLK + RSTB + SDI2 + SDI1 + INC + 

SCAN + HACKIN + si4 +six'; 

_default_Clk1_Timing_ ='RSTB'; 

_io = 'D0 + D1 + D2 +D3' { WFCMap 0X->0; WFCMap 1X->1; WFCMap 

ZX->Z; WFCMapNX->N; } 

_po = 'SDO2 + COUT + D0+ D1 + D2 + D3 + HACKOUT + so4 + sox'; 

_default_In_Timing_ ='D0 + D1 + D2 + D3 + CLK + RSTB + SDI2 + 

SDI1 + INC + SCAN +HACKIN + si4 + six'; 

_default_Out_Timing_ ='SDO2 + COUT + D0 + D1 + D2 + D3 + HACKOUT 

+ so4 + sox'; 

_default_Clk0_Timing_ ='CLK'; 

} 

ScanStructures { 

// Uncomment and modifythe following to suit your design 

// ScanChain chain_name{ ScanIn chain_input_name; ScanOut chain_output_name; } 

} 

Timing { 

WaveformTable_default_WFT_ { 

Period '100ns'; 

Waveforms { 

_default_In_Timing_ { 0{ '0ns' D; } } 

_default_In_Timing_ { 1{ '0ns' U; } } 

_default_In_Timing_ { Z{ '0ns' Z; } } 

_default_In_Timing_ { N{ '0ns' N; } } 

_default_Clk0_Timing_ {P { '0ns' D; '50ns' U; '80ns' D; } } 

_default_Clk1_Timing_ {P { '0ns' U; '50ns' D; '80ns' U; } } 

_default_Out_Timing_ { X{ '0ns' X; } } 

_default_Out_Timing_ { H{ '0ns' X; '40ns' H; } } 

_default_Out_Timing_ { T{ '0ns' X; '40ns' T; } } 

_default_Out_Timing_ { L{ '0ns' X; '40ns' L; } } 

} 

} 

} 

PatternBurst _burst_ {PatList { 

_pattern_ { 

} 

}} 

PatternExec { 

PatternBurst_burst_; 

} 

Procedures { 

capture_CLK { 

W _default_WFT_; 

forcePI: V { _pi=\r13 #; _po=\j \r9 X ; } 

measurePO: V { _po=\r9 #; } 

pulse: V { CLK=P; _po=\j\r9 X ; } 

} 

capture_RSTB { 

W _default_WFT_; 

forcePI: V { _pi=\r13 #; _po=\j \r9 X ; } 

measurePO: V { _po=\r9 #; } 

pulse: V { RSTB=P;_po=\j \r9 X ; } 

} 

capture { 

W _default_WFT_; 

forcePI: V { _pi=\r13 #; _po=\j \r9 X ; } 

measurePO: V { _po=\r9 #; } 

} 

 

// Uncomment and modifythe following to suit your design 

// PRE_CLOCK_MEASUREProcedures { 

// load_unload { 

// W_default_WFT_; 

// C { test_so=X;test_si=0; test_si2=0; test_so2=X; clk=0; tclk=0; reset=1; test_se=1; } 

// Shift { W_default_WFT_; 

// V { _si=#; _so=#; CLK= P; } 

// } 

// } 

// TMAX GENERATEDPOST_CLOCK_MEASURE (Closer to DFTCompiler Procedures { 

// load_unload { 

// W_default_WFT_; 

// C { test_si=0;test_si2=0; clk=0; tclk=0; reset=1; test_se=1; } 

// V { _so=##; } 

// Shift { W_default_WFT_; 

// V { _si=##; _so=##;clk=P; } 

// } 

} 

MacroDefs { 

test_setup { 

W _default_WFT_; 

V { CLK=0; RSTB=1;} 

} 

} 

 

开始版本和头不用说。

1.定义设计的信号，即哪些是输入信号，哪些是输出信号，哪些信号是输入输出。

eg.

Signals { 

CLK In; RSTB In; SDI2In; SDI1 In; INC In; SCAN In; HACKIN In; si4 In; 

six In; D0 InOut; D1InOut; D2 InOut; D3 InOut; SDO2 Out; COUT Out; 

HACKOUT Out; so4 Out;sox Out; 

} 

 

2.定义信号组：

_in = input pins

_out = output pins

_io = bidirectional pins

_pi = inputs +bidirectional pins

_po = outputs +bidirectional pins

_si = scan chain inputs

_so = scan chain outputs

设置时钟的信号组

eg.

SignalGroups { 

_pi = 'D0 + D1 + D2 + D3+ CLK + RSTB + SDI2 + SDI1 + INC' ;

_io = 'D0 + D1 + D2 +D3' ;

_po = 'SDO2 + COUT + D0+ D1 + D2 + D3 + HACKOUT + so4 + sox'; 

_default_Clk0_Timing_ ='CLK'; 

} 

 

3.定义扫描链结构

eg.

ScanStructures { 

ScanChain "c1"{ ScanIn SDI2; ScanOut SDO2; } 

ScanChain "c2"{ ScanIn SDI1; ScanOut D1; } 

ScanChain "c3"{ ScanIn DIN; ScanOut YABX; } 

ScanChain "c4"{ ScanIn "IRQ[4]"; ScanOut XYZ; } 

}

对于双向io还有额外参数WFCMap设置多状态情况下的值

 

4.定义信号组各种状态的时序

如时钟周期，输入0,1,Z,N。输出H,L,T,X。

其中0，表示输入0；1，表示输入1；Z，表示输入关闭，N，表示输入未知。

H，表示输出为高；L，表示输出为低；T，表示输出关闭；X，表示输出无操作

P表示脉冲，D表示强制为低，U表示强制为高

eg.如下，定义了输入的0,1,N,Z的时序以及Clock，reset的脉冲波形，输出的H，L，T，X波形。

Timing { 

WaveformTable_default_WFT_ { 

Period '100ns'; 

Waveforms { 

_default_In_Timing_ { 0{ '0ns' D; } } 

_default_In_Timing_ { 1{ '0ns' U; } } 

_default_In_Timing_ { Z{ '0ns' Z; } } 

_default_In_Timing_ { N{ '0ns' N; } } 

_default_Clk0_Timing_ {P { '0ns' D; '50ns' U; '80ns' D; } } 

_default_Clk1_Timing_ {P { '0ns' U; '50ns' D; '80ns' U; } } 

_default_Out_Timing_ { X{ '0ns' X; } } 

_default_Out_Timing_ { H{ '0ns' X; '40ns' H; } } 

_default_Out_Timing_ { T{ '0ns' X; '40ns' T; } } 

_default_Out_Timing_ { L{ '0ns' X; '40ns' L; } } 

} 

} 

} 

 

5.定义各种操作的时序,如：

capture_RSTB { 

W _default_WFT_; 

forcePI: V { _pi=\r13 #; _po=\j \r9 X ; } 

measurePO: V { _po=\r9 #; } 

pulse: V { RSTB=P;_po=\j \r9 X ; } 

}

由于atpg是基于周期的，所以一个向量V即可表示一个周期，另外F表示force，force信号为固定值；C表示condition，满足某一条件，向下进行。

定义了一个capture_RSTB的操作，这个操作使用_default_WFT_定义的x信号组的状态时序，包含3个周期：

第一个周期forcePI操作，#表示输入，\r表示重复，\j表示连接。所以第一周期表示信号组_pi输入13个数据，信号组_po的每个信号在原来的值基础上连接上一个x

第二个周期measurePo操作，_po得到9个输出.

第三个周期pulse操作，产生RSTB脉冲，信号组_po重新连接上9个x

 

WFT ：waveform table, 在timing procedure 定义

调用WFT时，用W来引用

F：表示force signal

V：表示一个cycle，例如，"rst"=1,"clk"=P

C：表示一个条件的判断conditional