- <https://bugs.libre-soc.org/show_bug.cgi?id=330> Logic pipe
- <https://bugs.libre-soc.org/show_bug.cgi?id=331> Logic proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=312> countzero proof
-
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=346> regfile-core
## Submitted for NLNet RFP