Representations of Discrete Functions [Hardcover]

Tsutomu Sasao (Editor), Masahira Fujita (Editor)

Book Description

ISBN-10: 0792397207 | ISBN-13: 978-0792397205 | Publication Date: April 30, 1996 | Edition: 1

Representations of Discrete Functions is an edited volume containing 13 chapter contributions from leading researchers with a focus on the latest research results.
The first three chapters are introductions and contain many illustrations to clarify concepts presented in the text. It is recommended that these chapters are read first.
The book then deals with the following topics: binary decision diagrams (BDDs), multi-terminal binary decision diagrams (MTBDDs), edge-valued binary decision diagrams (EVBDDs), functional decision diagrams (FDDs), Kronecker decision diagrams (KDDs), binary moment diagrams (BMDs), spectral transform decision diagrams (STDDs), ternary decision diagrams (TDDs), spectral transformation of logic functions, other transformations oflogic functions, EXOR-based two-level expressions, FPRM minimization with TDDs and MTBDDs, complexity theories on FDDs, multi-level logic synthesis, and complexity of three-level logic networks.
Representations of Discrete Functions is designed for CAD researchers and engineers and will also be of interest to computer scientists who are interested in combinatorial problems.
Exercises prepared by the editors help make this book useful as a graduate level textbook.

Product Details

• Hardcover: 336 pages
• Publisher: Springer; 1 edition (April 30, 1996)
• Language: English
• ISBN-10: 0792397207
• ISBN-13: 978-0792397205
• Product Dimensions: 9.3 x 6.2 x 1 inches
• Shipping Weight: 1 pounds (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #3,669,634 in Books (See Top 100 in Books)

More About the Author

Tsutomu Sasao received the B.E., M.E., and Ph.D. degrees in Electronics Engineering from Osaka University, Osaka Japan, in 1972, 1974, and 1977, respectively.
He has held faculty/research positions at Osaka University, Japan, IBM T. J. Watson Research Center, Yorktown Height, NY and the Naval Postgraduate School, Monterey, CA. He has served as the Director of the Center for Microelectronic Systems at the Kyushu Institute of Technology, Iizuka, Japan. Now, he is a Professor of Department of Computer Science and Electronics,

His research areas include logic design and switching theory, representations of logic functions, and multiple-valued logic.

He has published more than 8 books on logic design including, Logic Synthesis and Optimization, Representation of Discrete Functions, Switching Theory for Logic Synthesis, and Logic Synthesis and Verification, Kluwer Academic Publishers 1993, 1996, 1999, 2001 respectively.

He has served Program Chairman for the IEEE International Symposium on Multiple-Valued Logic (ISMVL) many times. Also, he was the Symposium Chairman of the 28th ISMVL held in Fukuoka, Japan in 1998.

He received the NIWA Memorial Award in 1979, Takeda Techno-Entrepreneurship Award in 2001, and Distinctive Contribution Awards from IEEE Computer Society MVL-TC for papers presented at ISMVLs in 1986, 1996, 2003 and 2004. He has served an associate editor of the IEEE Transactions on Computers. He is a Fellow of the IEEE.

Customer Reviews

Most Helpful Customer Reviews

1 of 2 people found the following review helpful:

5.0 out of 5 stars A collection of papers quite stimulating for further work, November 26, 1998

By A Customer

This review is from: Representations of Discrete Functions (Hardcover)

This collection of papers is a result of great eperience of editors in this area. The book is very informative and will considerably influence the further work in this area.