[Milkymist-devel] Xst vs. Synplify netlists (to track down LM32 cache problem)

[Sébastien Bourdeauducq]

Hi,

I have put online netlists generated with Xst and Synplify, in order to track 
down the cache problem that appears with Xst 
(http://lists.milkymist.org/pipermail/devel-milkymist.org/2009-
August/000115.html).
They are available at http://www.milkymist.org/ecn/

Could anyone compare them using a formal equivalence checker? I tried with 
Formality but:
- I do not have the FPGA cell libraries
- it crashes when I try to use ISE's SIMPRIMS instead
- it also crashes when I load the LM32 code into it (won't be a problem for 
comparing the netlists, but maybe for later).

In the meantime, I have also contacted Xilinx about the problem and have sent 
them the two netlists.

Thanks,
Sébastien