Automatic verification of march tests (SRAMs)

Records of the 1993 IEEE International Workshop on Memory Testing Pub Date : 1993-08-09 DOI:10.1109/MT.1993.263136

A. van de Goor, B. Smit

引用次数: 14

Abstract

Completeness and irredundancy proofs for SRAM march tests can be quite complicated. The authors present a method to automatically verify march tests. This method can be adapted for any other memory test. They present a way of modelling faults mathematically and describe how the verification process has been automated.<>

查看原文本刊更多论文

自动验证行军测试(sram)

SRAM行军测试的完备性和非冗余性证明是相当复杂的。提出了一种自动验证行军测试的方法。这种方法可以适用于任何其他记忆测试。他们提出了一种对故障进行数学建模的方法，并描述了验证过程是如何自动化的。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Records of the 1993 IEEE International Workshop on Memory Testing

自引率

0.00%

发文量