[dmd]

> most people doing hardware are doing formal designs and prove their work correct.

My god how I wish that were true.