Applied Formal Verification: For Digital Circuit Design