含存储器数字电路系统的自动测试生成  

ATPG for Digital Circuits with Memory Chips

作　　者：成本茂[1] 杨士元[1] 王红[1] 鞠艳秋[1] 

机构地区：[1]清华大学自动化系,北京100084

出　　处：《计算机工程》2007年第23期252-254,260,共4页Computer Engineering

基　　金：国家"973"计划基金资助项目(2005CB321604)

摘　　要：已有的数字电路自动测试生成(ATPG)软件没有存储器的结构模型,不支持对存储器电路的自动测试生成。该文分析了2类存储器的功能特征,提出了面向测试的ROM和RAM结构模型的建立方法,其中,ROM根据所储存的数据等效成组合电路模型,RAM利用新建立的RAMBIT基元等效成利于测试的时序电路模型。将其应用于ATPG软件中,解决了含存储器数字电路的自动测试生成问题。Two new structural models of ROM and RAM for testing are given, which can be used as testing primitives in the digital automatic test pattern generation（ATPG） systems, Test patterns for circuits with ROM chips are generated automatically after ROM＇s converting to a combinational model, while the ATPG problems for circuits with RAM chips are also resolved after RAM is equivalent to a sequential model.

关 键 词：存储器 结构模型 自动测试生成 故障仿真 

分 类 号：N945.12[自然科学总论—系统科学]