Marc Pauwels Gert Goossens Francky Catthoor Hugo De Man Formalisation of multi-precision arithmetic for high-level synthesis of DSP architectures. 97-112 1995 11 VLSI Signal Processing 1-2 http://dx.doi.org/10.1007/BF02106825 db/journals/vlsisp/vlsisp11.html#PauwelsGCM95