[rescue] Getting steadily further from [intended epithet] rescue

[Paul]

Ok, I gotta ask....was the proving FOR the viper done ON the viper? :)


----- Original Message ----- 
From: "Phil Stracchino" <alaric at caerllewys.net>
To: "The Rescue List" <rescue at sunhelp.org>
Sent: Wednesday, October 01, 2003 3:12 PM
Subject: Re: [rescue] Getting steadily further from [intended epithet]
rescue


> On Wed, Oct 01, 2003 at 06:23:30PM +0100, Mike Meredith wrote:
> > On Wed, 1 Oct 2003 10:08:26 -0400, Phil Stracchino wrote:
> > > course, virtually no-one in the US has ever heard of ICL or the RSRE
> > > Viper chip.
> >
> > I haven't heard of the RSRE Viper.
>
>
> OK, so maybe the Viper was a bit of an overly-specialized example.  It's
> a microprocessor developed by the Royal Signals & Research Establishment
> for defense applications.  It's no screamer, it's an 80386-class chip in
> terms of performance, but there's lots of embedded hardware on the
> market right now using less potent processors than that.  What made the
> Viper special (and uniquely valuable for military applications) was that
> it was expressly and specifically designed to have a simple enough
> architecture that the design could be (and was) mathematically PROVEN
> to be correct and free of logic bugs.
>
>
>
> -- 
>  .*********  Fight Back!  It may not be just YOUR life at risk.
*********.
>  : phil stracchino : unix ronin : renaissance man : mystic zen biker geek
:
>  :  alaric at caerllewys.net : alaric-ruthven at earthlink.net : phil at latt.net
:
>  :   2000 CBR929RR, 1991 VFR750F3 (foully murdered), 1986 VF500F (sold)
:
>  :    Linux Now!   ...Because friends don't let friends use Microsoft.
:
> _______________________________________________
> rescue list - http://www.sunhelp.org/mailman/listinfo/rescue