Formal Hardware Verification In Hol And In Boyer-moore: A Comparative Analysis | IEEE Conference Publication | IEEE Xplore