At this year’s Design Automation Conference (DAC), Formal verification was everywhere – in posters, papers, and panel discussions – where…