There have been lots of work on verifying hardware using theorem
provers, notably HOL. I'm not an expert on the subject, but I think
browsing through the proceedings of HOL workshops and TPCD (Theorem
Provers in Circuit Design) conferences of the last few years would
give you a good idea about the state of the art.
Cheers,
- Ching Tsun