Error-Checking Logic for Arithmetic-Type Operations of a Processor.

Thammavarapu R. N. Rao

Published in: IEEE Trans. Computers (1968)

Keyphrases

arithmetic operations
type checking
error rate
error detection
quantifier free
logic programming
modal logic
multi valued
high speed
chip design
first order logic
real time
processing units
error analysis
parallel processors
error correction
parallel processing