[Libre-soc-bugs] [Bug 406] Use SAIL's PowerISA formal model to help catch errors

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Fri Jun 26 01:33:25 BST 2020


--- Comment #1 from Jacob Lifshay <programmerjake at gmail.com> ---
One interesting thing I discovered:
SAIL's model for Power is created using basically the same method we are:
parsing the pseudo-code in the spec PDF.

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

More information about the libre-soc-bugs mailing list