Home Technology Verification of digital circuits. Overview