Applied Formal Verification (For Digital Circuit Design)