Behavioral Models For Independent Clock Fifo