测试向量的周期化关键技术研究与实现

提出了一种将状态取样法和波形提取法结合使用的测试向量周期化方法,在该周期化方法中,需要一个逐拍匹配生成新定时组的过程,为了减少生成定时组时间,实现了一种基于哈希表的周期化算法。它不仅在速度上得到优化,同时也减少了波形失真度。实验结果表明,该周期化方法是一种行之有效的测试向量转换方法。

基于CTL的SOC IP核的测试技术

本文介绍了一种针对SOC测试设计中嵌入式芯核的核测试语言(CTL)。该语言描述了如何将可测试性设计置入具有知识产权 (Intellectual Property,简称 IP)芯核和SOC中,从而加速测试生成和复用。CTL语言标准虽然还未被IEEE正式通过,但已经在EDA厂商、ATE厂商和 IP芯核提供者之间悄然兴起并被积极采用,一系列基于 CTL的产品也相继被研制出来。本文通过对CTL的分析与研究,较为详细地说明了 CTL引入的重要性及其特性,并为 SOC IP芯核提供CTL语言测试设计实例。

基于STIL的测试向量转换模型及其实现

在双步测试向量转换解决方案的基础上,构建了一个通用的测试向量转换模型.在细化双步解决方案的过程中,提出了一个改进的转换流程;将标准测试接口语言(STIL)作为描述语言,设计了一种具有per-pin-ATE资源的数据格式;开发了面向3种国产测试仪的测试向量转换系统———SpeedyE2A(S).实验结果表明,在相同的转换条件下,当测试向量较大时,SpeedyE2A(S)系统的转换时间远远少于Credence的TDS系统.经SpeedyE2A(S)系统转换的8051和海尔“爱国者”芯片的测试向量,已经成功地在北京自动测试技术研究所的测试系统上运行.

测试向量转换中波形数据格式及其压缩编码算法

为了实现由芯片设计仿真出来的测试向量到测试设备的测试程序转换,在分析了不断变化的测试需求后,提出了一种类-STIL的波形数据格式。针对该波形数据格式,实现了一种基于测试向量特点的动态无损的压缩编码算法,从而解决了测试向量的大容量问题。实验结果表明,在该波形格式基础上的测试向量转换,不仅在速度上得到优化,同时针对大容量的测试向量集合,也获得了较高的压缩结果。

BJ3140测试图形的交互移植研究

本文描述了测试开发系统ＴｅＤＳ中，ＢＪ３１４０测试机的图形语言的交互移植，解决ＴｅＤＳ图形中间格式语言与ＢＪ３１４０的测试图形语言的变换和生成问题。

测试图形中间格式语言（TeIF）开发环境及TeIF虚拟机

本文描述了国家八五攻关项目－测试开发系统ＴｅＩＦ中，测试图形中间格式语言开发环境的设计与实现，以及ＴｅＩＦ虚拟机的实现。