What do you really want to simulate?
Generating the FULL signal after the right amount of writes is really a
trivial decoding job.
Getting back out of "FULL" is tricky, and - I claim- cannot be
simulated exhaustively, since there is an infinite (truly infinite)
number of phase relationships between the write and the read clock ( if
they are asynchronous).
If write and read are synchronous, the whole FIFO design is a trivial
state machine.
Peter Alfke (Xilinx, but posting from home).
fpgabuilder wrote:
> How would I infer the fifo from the code? Do you mean I should write
> my own fifo or create a behavioral model of Altera's FIFO? While
this
> may be the way to go, but last time I tried some thing like this, I
> noticed that the FPGA vendor had a much better implementation of the
> fifo.
>
> -sanjay