Hardware verification by formal proof
Mike Gordon · CL Technical Reports · 2021
The use of mathematical proof to verify hardware designs is explained and motivated. The hierarchical verification of a simple n-bit CMOS counter is used as an example. Some speculations are made about when and how formal proof will become used in industry.