Title :
Floating-Point Numerical Function Generators Using EVMDDs for Monotone Elementary Functions
Author :
Nagayama, Shinobu ; Sasao, Tsutomu ; Butler, Jon T.
Author_Institution :
Dept. of Comput. & Network Eng., Hiroshima City Univ., Hiroshima
Abstract :
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 functions in which real values are converted into integer values that are represented by edge-valued MDDs (EVMDDs). We show that EVMDDs use fewer nodes by one or two orders of magnitude than two other types of decision diagrams, MTBDDs and BMDs. EVMDDs produce fast and compact floating-point NFGs for real-valued elementary functions, with a speed improvement of 86% over a recently proposed floating-point implementation [4].
Keywords :
decision diagrams; floating point arithmetic; floating-point numerical function generators; monotone elementary functions; multi-valued decision diagrams; Application software; Boolean functions; Computer networks; Computer science; Data structures; Design engineering; Design methodology; Logic design; Multivalued logic; Signal generators; EVBDD; EVMDD; Mp-monotone increasing functions; floating-point numerical function generators; monotone elementary functions; transition points;
Conference_Titel :
Multiple-Valued Logic, 2009. ISMVL '09. 39th International Symposium on
Conference_Location :
Naha, Okinawa
Print_ISBN :
978-1-4244-3841-9
Electronic_ISBN :
0195-623X
DOI :
10.1109/ISMVL.2009.24