Verification of hardware combining multiplication, division and square root.

Colin D. Walter

Published in: Microprocess. Microsystems (1995)

Keyphrases

square root
floating point
kalman filtering
fixed point
euclidean space
arrival rate
image processing
high dimensional
multi class
statistical analysis
distance function
kalman filter