Applied Formal Verification: For Digital Circuit Design (Electronic Engineering)