[Libre-soc-bugs] [Bug 485] Create I-Cache from microwatt icache.vhdl

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=485

--- Comment #84 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Cesar Strauss from comment #82)
> I've run the icache_tb.vhdl testbench in Microwatt, and it fails for me.
> Maybe the test itself is defective, or has bitrotten.
> 
> Maybe one of the problems with our test, is that it is based on this
> Microwatt test bench, that already fails.

Thanks for your help Cesar! Seems so obvious now that you've done it, I should
have tried running the microwatt test first.

(In reply to Luke Kenneth Casson Leighton from comment #83)
> (In reply to Cesar Strauss from comment #82)
> > I've run the icache_tb.vhdl testbench in Microwatt, and it fails for me.
> 
> indeed. i have no idea why, yet icache itself clearly works.  bit of a
> nuisance as it is usually the unit tests by which the code can be understood.

I think it works in 'simple' cases, but seems to lose it when it gets a 64 bit
address that isn't basically an 8 bit address i.e. 0x0000000000000001. Not sure
how to figure out where this is going wrong, would likely need to understand
the module to the extent that I could write the formal proof for it, then I'd
likely be able to figure out which part is violating the correct behaviour. But
that's a big undertaking, for after the 2 dec tapeout deadline.

-- 
You are receiving this mail because:
You are on the CC list for the bug.