Formal Verification of a Custom Microcontroller: A Case Study

I may be a twin, but I am one of a kind