Formalisation of multi-precision arithmetic for high-level synthesis of DSP architectures

Pauwels, MarcMarcPauwelsGoossens, GertGertGoossensCatthoor, FranckyFranckyCatthoorDe Man, HugoHugoDe Man2021-09-292021-09-291995https://imec-publications.be/handle/20.500.12860/813Formalisation of multi-precision arithmetic for high-level synthesis of DSP architecturesJournal article