ISMVL
2009
IEEE
13 years 11 months ago
2009
IEEE
This paper proposes a design method for floating-point numerical function generators (NFGs) using multi-valued decision diagrams (MDDs). Our method applies to monotone elementary...