Status: ongoing
Priority: High
-11. Formal Proof for CompUnit
+11. Formal Proof for CompUnit
<https://bugs.libre-soc.org/show_bug.cgi?id=342>
+12. Formal Proof for PartitionedSignal
+ <https://bugs.libre-soc.org/show_bug.cgi?id=565>
+ Status: in progress
## Completed but not yet submitted: