ATPG之STIL格式说明

2023-12-14 07:48
文章标签 说明 格式 atpg stil

本文主要是介绍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,表示输入01,表示输入1Z,表示输入关闭,N,表示输入未知。

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

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

eg.如下,定义了输入的0,1,N,Z的时序以及Clockreset的脉冲波形,输出的HLTX波形。

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表示forceforce信号为固定值;C表示condition,满足某一条件,向下进行。

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

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

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

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

 

WFT waveform tabletiming procedure 定义

调用WFT时,用W来引用

F:表示force signal

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

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


这篇关于ATPG之STIL格式说明的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/491727

相关文章

Python将博客内容html导出为Markdown格式

《Python将博客内容html导出为Markdown格式》Python将博客内容html导出为Markdown格式,通过博客url地址抓取文章,分析并提取出文章标题和内容,将内容构建成html,再转... 目录一、为什么要搞?二、准备如何搞?三、说搞咱就搞!抓取文章提取内容构建html转存markdown

Tomcat版本与Java版本的关系及说明

《Tomcat版本与Java版本的关系及说明》:本文主要介绍Tomcat版本与Java版本的关系及说明,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Tomcat版本与Java版本的关系Tomcat历史版本对应的Java版本Tomcat支持哪些版本的pythonJ

如何自定义Nginx JSON日志格式配置

《如何自定义NginxJSON日志格式配置》Nginx作为最流行的Web服务器之一,其灵活的日志配置能力允许我们根据需求定制日志格式,本文将详细介绍如何配置Nginx以JSON格式记录访问日志,这种... 目录前言为什么选择jsON格式日志?配置步骤详解1. 安装Nginx服务2. 自定义JSON日志格式各

python dict转换成json格式的实现

《pythondict转换成json格式的实现》本文主要介绍了pythondict转换成json格式的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下... 一开始你变成字典格式data = [ { 'a' : 1, 'b' : 2, 'c编程' : 3,

Nginx指令add_header和proxy_set_header的区别及说明

《Nginx指令add_header和proxy_set_header的区别及说明》:本文主要介绍Nginx指令add_header和proxy_set_header的区别及说明,具有很好的参考价... 目录Nginx指令add_header和proxy_set_header区别如何理解反向代理?proxy

Python中Windows和macOS文件路径格式不一致的解决方法

《Python中Windows和macOS文件路径格式不一致的解决方法》在Python中,Windows和macOS的文件路径字符串格式不一致主要体现在路径分隔符上,这种差异可能导致跨平台代码在处理文... 目录方法 1:使用 os.path 模块方法 2:使用 pathlib 模块(推荐)方法 3:统一使

JAVA SE包装类和泛型详细介绍及说明方法

《JAVASE包装类和泛型详细介绍及说明方法》:本文主要介绍JAVASE包装类和泛型的相关资料,包括基本数据类型与包装类的对应关系,以及装箱和拆箱的概念,并重点讲解了自动装箱和自动拆箱的机制,文... 目录1. 包装类1.1 基本数据类型和对应的包装类1.2 装箱和拆箱1.3 自动装箱和自动拆箱2. 泛型2

Java中使用注解校验手机号格式的详细指南

《Java中使用注解校验手机号格式的详细指南》在现代的Web应用开发中,数据校验是一个非常重要的环节,本文将详细介绍如何在Java中使用注解对手机号格式进行校验,感兴趣的小伙伴可以了解下... 目录1. 引言2. 数据校验的重要性3. Java中的数据校验框架4. 使用注解校验手机号格式4.1 @NotBl

MySQL常见的存储引擎和区别说明

《MySQL常见的存储引擎和区别说明》MySQL支持多种存储引擎,如InnoDB、MyISAM、MEMORY、Archive、CSV和Blackhole,每种引擎有其特点和适用场景,选择存储引擎时需根... 目录mysql常见的存储引擎和区别说明1. InnoDB2. MyISAM3. MEMORY4. A

MyBatis的配置对象Configuration作用及说明

《MyBatis的配置对象Configuration作用及说明》MyBatis的Configuration对象是MyBatis的核心配置对象,它包含了MyBatis运行时所需的几乎所有配置信息,这个对... 目录MyBATis配置对象Configuration作用Configuration 对象的主要作用C