[rescue] Getting steadily further from [intended epithet] rescue
paul at techcenter3000.com
Wed Oct 1 15:32:35 CDT 2003
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]
> 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
More information about the rescue