Key points are not available for this paper at this time.
First-In-First-Out (FIFO) Speicher werden zunehmend beliebter als Pufferspeicher zwischen Subsystemen, die mit unterschiedlichen Datenraten arbeiten. Eine Möglichkeit, einen FIFO zu implementieren, besteht darin, einen Einzelport-SRAM-Speicher mit Arbitrationslogik zu verwenden, um Konflikte aufgrund gleichzeitiger Lese- und Schreibanfragen zu lösen. Die bekannten Funktionstests für SRAMs (van de Goor, 1990 und 1991) können aufgrund der eingebauten Zugriffsrestriktionen nicht auf FIFOs angewendet werden. Funktionale Fehler-Modelle und funktionale Tests für FIFOs werden präsentiert, zusammen mit einer Reihe von Tests und ihren Korrektheitsbeweisen für Arbitrations-SRAM-Typ FIFOs.
Goor et al. (Do,) haben diese Frage untersucht.