[Libre-soc-dev] in-order core hazard detection working

Jacob Lifshay programmerjake at gmail.com
Tue Nov 23 06:09:06 GMT 2021

On Sun, Nov 21, 2021, 14:10 lkcl <luke.leighton at gmail.com> wrote:

> for a given value of "work", and using TestIssuer with a long-running DIV
> instruction, the hazard detection is working.


i now need to create a series of instructions that denonstrate that the
> regfile cannot get corrupted.

which is waay harder than just demonstrating that a particular instruction
sequence doesn't have issues -- you have to find all possible ways it might
be broken and construct a set of instruction sequences that collectively
cover all of them...a formal proof might be the easiest way to to that, cuz
that way you don't need to manually come up with all possibly bad
instruction sequences.

One alternate way, that doesn't actually prove it's good, but can probably
quickly find places where you messed up (if any) is to just try random
instruction sequences.


More information about the Libre-soc-dev mailing list