← Simulation and Synthesis Techniques for Asynchronous FIFO ...