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

[bugzilla-daemon at libre-soc.org]

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

--- 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.