Verification of a Multiplier: 64 Bits and Beyond.

Robert P. Kurshan Leslie Lamport

Published in: CAV (1993)

Keyphrases

model checking
error correcting codes
database
website
hardware implementation
asynchronous circuits
type ii
concurrent systems
neural network
data mining
floating point
formal verification
high security
verification method
multimodal biometrics