[Milkymist-devel] Data cache problems

[Sébastien Bourdeauducq]

On Saturday 22 August 2009 15.35.08 Takeshi MATSUYA wrote:
>  > to support Precision and Synplify in the Milkymist distribution.
>
> That sounds great!

I could synthesize one data-cache-enabled bitstream with Synplify and ISE 10.1 
P&R.

And now, both DOpE and Linux kernel work as if there were no data cache 
(except they run faster) !

So that's definitely a Xst bug. I will try to report it to Xilinx.
What would be needed now to further track down the problem is a formal 
equivalence checking tool. Anyone has access to and is familiar with those?

Sébastien