Date of Original Version

5-1995

Type

Technical Report

Rights Management

All Rights Reserved

Abstract or Description

The highly-publicized decision error in the Pentium has emphasized the importance of formal verification of arithmetic operations.

Share

COinS