The fangs of the VIPER
Abstract
VIPER is the first commercially available microprocessor whose design is claimed to have been proven correct. The controversy provoked by the claim reveals fundamental disagreement about the meaning of 'proof'.
- Publication:
-
Nature
- Pub Date:
- August 1991
- DOI:
- 10.1038/352467a0
- Bibcode:
- 1991Natur.352..467M