A simple, basic, formally verified UART controller - View it on GitHub