Incremental Verification of Fixed-Point Implementations of Neural Networks

Luiz Sena, Erickson Alves, Iury Bessa +2

Implementations of artificial neural networks (ANNs) might lead to failures, which are hardly predicted in the design phase since ANNs are highly parallel and their parameters are…