Computation and Formal Verification of SRT Quotient and Square Root Digit Selection Tables.

David M. Russinoff

Published in: IEEE Trans. Computers (2013)

Keyphrases

square root
formal verification
model checking
kalman filtering
floating point
euclidean space
model checker
arrival rate
automated verification
bounded model checking
probability density function
feature selection
markov random field