Testes funcionais para FIFO do tipo SRAM com arbitragem

As memórias Primeiro a Entrar, Primeiro a Sair (FIFO) estão se tornando cada vez mais populares como armazenamento em buffer entre subsistemas que operam em diferentes taxas de dados. Uma maneira de implementar um FIFO é usar uma memória SRAM de porta única com lógica de arbitragem para resolver conflitos devido a solicitações simultâneas de leitura e escrita. Os testes funcionais bem conhecidos para SRAMs (van de Goor, 1990 e 1991) não podem ser aplicados a FIFOs devido às suas restrições de acesso embutidas. Modelos de falha funcionais e testes funcionais para FIFOs são apresentados antes, juntamente com um conjunto de testes e suas provas de correção para FIFOs do tipo SRAM com arbitragem.