Asynchronous FIFO Assertions

  • Ashok B. Mehta


An asynchronous FIFO (in contrast to a synchronous FIFO) is a difficult proposition when it comes to writing assertions. The Read and the Write clocks are asynchronous which means the most important property to check for is data transfer from Write to Read clock. Other assertions are to check for fifo_full, fifo_empty, etc. conditions.


Asynchronous FIFO Assertion FIFO 

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  • Ashok B. Mehta
    • 1
  1. 1.DefineView ConsultingLos GatosUSA

Personalised recommendations