[libre-riscv-dev] [Bug 216] LOAD STORE buffer needed

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue Jun 2 19:26:16 BST 2020


--- Comment #54 from Tobias Platen <libre-soc at platen-software.de> ---
Before running formal verification, I first had to upgrade nmigen, because my
code works using records. When using an old version of nmigen, I got the
following error. 
> Object (rec <unnamed> data en) cannot be used as a key in value collections

The second one is a bug in nmigen when it invokes sby with an empty working
directory, which is the current directory in this case. I set it to "." with
the following lines added to the code.

+        if(len(spec_dir)==0):
+            spec_dir="."

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

More information about the libre-riscv-dev mailing list