On Fri, 17 Aug 2001, Andrew E. Kalman wrote:

> Around 10 years ago I remember reading about a microprocessor
> designed in the UK that was specifically targeted at aircraft use. I
> believe it was called the Viper. It was supposedly a "provably
> correct" design, the logic being that it therefore had no (hardware)
> bugs and ought to prevail in that design environment. Trouble is,
> their "proof" was apparently in error ... and I haven't heard of it
> since.

All my designs are "provably correct", at least to me...  if it wasn't
correct, I wouldn't have done it that way, no?  8-)

Dale
--
A train stops at a train station.  A bus stops at a bus station.
On my desk I have a workstation...

--
http://www.piclist.com hint: The PICList is archived three different
ways.  See http://www.piclist.com/#archives for details.