Automatic Accuracy-Guaranteed Bit-Width Optimization for Fixed and Floating-Point Systems