<https://bugs.libre-soc.org/show_bug.cgi?id=350>
Priority: Medium-ish
-10. Find root cause of cxxsim hang
- <https://bugs.libre-soc.org/show_bug.cgi?id=475#c2>
- Status: ongoing
- Priority: High
-
11. Formal Proof for CompUnit
<https://bugs.libre-soc.org/show_bug.cgi?id=342>
## Submitted for NLNet RFP
## Paid
+
+### NLNet.2019.10.Wishbone
+
+* [Bug #475](https://bugs.libre-soc.org/show_bug.cgi?id=475):
+ cxxsim improvements
+ * Ran several Libre-SOC tests under cxxsim
+ * Helped isolate simulator issues by extracting a MVCE
+(Minimal, Verifiable, Complete Example) in each case.
+ * paid on 2021-05-11
+ * €250 out of total of €1750