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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sat Oct 3 06:40:53 BST 2020


--- Comment #42 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #41)
> note two things:
> a) *keep what you do simple in each commit* and ALWAYS test it.  work
>    INCREMENTALLY.  can you see the plan that you laid out was a chain
>    of ever-complex dependence, without any checking that each stage was
>    going to work before moving to the next?

Noted. That’s a much easier, more sensible, and less frantic way of doing
things. Thanks for the guidance, it’s much easier to become a better programmer
with help :)

> b) you almost had the latter phase right: the for-loop is not to add
>    *addresses* from 0 to 10,000, the idea behind the test is to
>    have QTY 10,000 *completely* random data AND address requests.

Completely random, noted. I guessed wrong based on for some reason thinking
this was like the div unit test where we specifically wanted to test the
transition points, whereas in this instance we are much more likely to hit the
necessary areas of the test space. But then again unit tests can’t cover the
whole test space. Will an eventual task be to write the formal proof for

> but, start with 100 or 1000 and move upwards.

Sensible, speeds up the debug cycle. Noted.

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

More information about the libre-soc-bugs mailing list