
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
Shinobu Nagayama, Tsutomu Sasao, "Complexities of GraphBased Representations for Elementary Functions," IEEE Transactions on Computers, vol. 58, no. 1, pp. 106119, January, 2009.  
BibTex  x  
@article{ 10.1109/TC.2008.134, author = {Shinobu Nagayama and Tsutomu Sasao}, title = {Complexities of GraphBased Representations for Elementary Functions}, journal ={IEEE Transactions on Computers}, volume = {58}, number = {1}, issn = {00189340}, year = {2009}, pages = {106119}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.2008.134}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Complexities of GraphBased Representations for Elementary Functions IS  1 SN  00189340 SP106 EP119 EPD  106119 A1  Shinobu Nagayama, A1  Tsutomu Sasao, PY  2009 KW  Decision Diagrams KW  General KW  Trees KW  Elementary function approximation KW  Representations VL  58 JA  IEEE Transactions on Computers ER   
[1] S.B. Akers, “Binary Decision Diagrams,” IEEE Trans. Computers, vol. 27, no. 6, pp. 509516, June 1978.
[2] R. Andraka, “A Survey of CORDIC Algorithms for FPGA Based Computers,” Proc. ACM/SIGDA Sixth Int'l Symp. Field Programmable Gate Array (FPGA '98), pp. 191200, Feb. 1998.
[3] R.E. Bryant, “GraphBased Algorithms for Boolean Function Manipulation,” IEEE Trans. Computers, vol. 35, no. 8, pp.677691, Aug. 1986.
[4] R.E. Bryant, “On the Complexity of VLSI Implementations and Graph Representations of Boolean Functions with Applications to Integer Multiplication,” IEEE Trans. Computers, vol. 40, no. 2, pp.205213, Feb. 1991.
[5] R.E. Bryant and Y.A. Chen, “Verification of Arithmetic Circuits with Binary Moment Diagrams,” Proc. 32nd Design Automation Conf. (DAC '95), pp. 535541, 1995.
[6] M.J. Ciesielski, P. Kalla, Z. Zheng, and B. Rouzeyre, “Taylor Expansion Diagrams: A Compact Canonical Representation with Applications to Symbolic Verification,” Proc. Design, Automation and Test in Europe (DATE '02), pp. 285289, 2002.
[7] E.M. Clarke, K.L. McMillan, X. Zhao, M. Fujita, and J. Yang, “Spectral Transforms for Large Boolean Functions with Applications to Technology Mapping,” Proc. 30th ACM/IEEE Design Automation Conf. (DAC '93), pp. 5460, June 1993.
[8] R. Drechsler, B. Becker, and S. Ruppertz, “K*BMDs: A New Data Structure for Verification,” Proc. European Design and Test Conf. (ED&TC '96), pp. 28, 1996.
[9] R. Drechsler and B. Becker, Binary Decision Diagrams: Theory and Implementation. Kluwer Academic, 1998.
[10] R. Enders, “Note on the Complexity of Binary Moment Diagram Representations,” Proc. Workshop Applications of the ReedMuller Expansion in Circuit Design, pp. 191197, Aug. 1995.
[11] M.T. Goodrich and R. Tamassia, Data Structures and Algorithms in JAVA. John Wiley & Sons, 1998.
[12] S. Höreth and R. Drechsler, “Formal Verification of WordLevel Specifications,” Proc. Design, Automation and Test in Europe (DATE'99), pp. 5258, 1999.
[13] T. Kam, T. Villa, R.K. Brayton, and A.L. SangiovanniVincentelli, “MultiValued Decision Diagrams: Theory and Applications,” MultipleValued Logic: An Int'l J., vol. 4, nos. 12, pp. 962, 1998.
[14] YT. Lai and S. Sastry, “EdgeValued Binary Decision Diagrams for MultiLevel Hierarchical Verification,” Proc. 29th ACM/IEEE Design Automation Conf. (DAC '92), pp. 608613, 1992.
[15] YT. Lai, M. Pedram, and S.B. Vrudhula, “EVBDDBased Algorithms for Linear Integer Programming, Spectral Transformation and Functional Decomposition,” IEEE Trans. ComputerAided Design of Integrated Circuits and Systems, vol. 13, no. 8, pp. 959975, Aug. 1994.
[16] C. Meinel and T. Theobald, Algorithms and Data Structures in VLSI Design: OBDD—Foundations and Applications. Springer, 1998.
[17] J.M. Muller, Elementary Function: Algorithms and Implementation. Birkhauser, 1997.
[18] S. Nagayama and T. Sasao, “Compact Representations of Logic Functions Using Heterogeneous MDDs,” IEICE Trans. Fundamentals, vol. E86A, no. 12, pp. 31683175, Dec. 2003.
[19] S. Nagayama and T. Sasao, “On the Optimization of Heterogeneous MDDs,” IEEE Trans. ComputerAided Design of Integrated Circuits and Systems, vol. 24, no. 11, pp. 16451659, Nov. 2005.
[20] S. Nagayama and T. Sasao, “Representations of Elementary Functions Using EdgeValued MDDs,” Proc. 37th Int'l Symp. MultipleValued Logic (ISMVL '07), May 2007.
[21] S. Nagayama and T. Sasao, “Representations of TwoVariable Elementary Functions Using EdgeValued MDDs and Their Applications to Function Generators,” Proc. 38th Int'l Symp. MultipleValued Logic (ISMVL '08), May 2008.
[22] Representations of Discrete Functions, T. Sasao and M. Fujita, eds. Kluwer Academic, 1996.
[23] T. Sasao, Switching Theory for Logic Synthesis. Kluwer Academic, 1999.
[24] T. Sasao and S. Nagayama, “Representations of Elementary Functions Using Binary Moment Diagrams,” Proc. 36th Int'l Symp. MultipleValued Logic (ISMVL '06), May 2006.
[25] R. Stankovic, T. Sasao, and C. Moraga, Spectral Transform Decision Diagrams, chapter 3 in [22].
[26] R. Stankovic and J. Astola, Spectral Interpretation of Decision Diagrams. Springer Verlag, 2003.
[27] R. Stankovic and J. Astola, “Remarks on the Complexity of Arithmetic Representations of Elementary Functions for Circuit Design,” Proc. Workshop Applications of the ReedMuller Expansion in Circuit Design and Representations and Methodology of Future Computing Technology, pp. 511, May 2007.
[28] M.A. Thornton, R. Drechsler, and D.M. Miller, Spectral Techniques in VLSI CAD. Springer, 2001.
[29] J.E. Volder, “The CORDIC Trigonometric Computing Technique,” IRE Trans. Electronic Computers, vol. 8, no. 3, pp. 330334, Sept. 1959.
[30] I. Wegener, Branching Programs and Binary Decision Diagrams: Theory and Applications. SIAM, 2000.
[31] M.R. Williams, History of Computing Technology. IEEE CS Press, 1997.
[32] S.N. Yanushkevich, D.M. Miller, V.P. Shmerko, and R.S. Stankovic, Decision Diagram Techniques for Micro and Nanoelectronic Design. CRC Press, Taylor and Francis Group, 2006.