Formal Verification: An Essential Toolkit for Modern VLSI Design