Bit-level allocation of multiple-precision specifications | IEEE Conference Publication | IEEE Xplore