A fully digital model for Kalman filters