Floating-point bitwidth analysis via automatic differentiation | IEEE Conference Publication | IEEE Xplore