Formal verification of hardware correctness: introduction and survey of current research | IEEE Journals & Magazine | IEEE Xplore