Re: The Pentium chip wasn't verified
Sun, 20 Nov 94 00:06:23 PST

> I'm passing on a message I saw today, illustrating the potential
> applications of hardware verification.

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.

- Ching Tsun