Design and Verification of Asynchronous FIFO