Bit-Width Allocation for Hardware Accelerators for Scientific Computing Using SAT-Modulo Theory | IEEE Journals & Magazine | IEEE Xplore