- POWER9 LOGICAL proof
- <https://bugs.libre-soc.org/show_bug.cgi?id=340> parent #195
- POWER9 ROTATE proof
- - <https://bugs.libre-soc.org/show_bug.cgi?id=342>
+ - <https://bugs.libre-soc.org/show_bug.cgi?id=342> parent #197
- MultiCompUnit (and Function Units) proof
## Completed not yet submitted