Automatic verification of march tests (SRAMs)
A.J. van de Goor, Bram de Smit · 2002
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.>