loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
36th International Symposium on Multiple-Valued Logic (ISMVL'06)
Representations of Elementary Functions Using Binary Moment Diagrams
Singapore
May 17-May 20
ISBN: 0-7695-2532-6
Tsutomu Sasao, Kyushu Institute of Technology, Japan
Shinobu Nagayama, Hiroshima City University, Japan
This paper considers representations for elementary functions such as polynomial, trigonometric, logarithmic, square root, and reciprocal functions. These real valued functions are converted into integer functions by using fixed-point representation, and they are represented by using binary moment diagrams (BMDs). Elementary functions are represented compactly by applying the arithmetic transform to the functions. For polynomial functions, upper bounds on the numbers of nodes in BMDs and multiterminal binary decision diagrams (MTBDDs) are derived. These results show that for polynomial functions, BMDs require fewer nodes than MTBDDs. Experimental result for 16-bit precision sin(x) function shows that the BMD requires only 20% of the nodes for the MTBDD.
Citation:
Tsutomu Sasao, Shinobu Nagayama, "Representations of Elementary Functions Using Binary Moment Diagrams," ismvl, pp.28, 36th International Symposium on Multiple-Valued Logic (ISMVL'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.