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 _______________________________________________ http://lists.milkymist.org/listinfo.cgi/devel-milkymist.org IRC: #milkym...@freenode Webchat: www.milkymist.org/irc.html Wiki: www.milkymist.org/wiki
