Representations of Discrete Functions / Edition 1

Representations of Discrete Functions / Edition 1

by Tsutomu Sasao
     
 

Representations of Discrete Functions 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… See more details below

Overview

Representations of Discrete Functions 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 of logic 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

ISBN-13:
9780792397205
Publisher:
Springer US
Publication date:
04/30/1996
Edition description:
1996
Pages:
336
Product dimensions:
9.21(w) x 6.14(h) x 0.81(d)

Table of Contents

Preface
1Graph-Based Representations of Discrete Functions1
2Representations of Logic Functions Using Exor Operators29
3Spectral Transform Decision Diagrams55
4Multi-Terminal Binary Decision Diagrams and Hybrid Decision Diagrams93
5Edge Valued Binary Decision Diagrams109
6Arithmetic Transform of Boolean Functions133
7OKFDDS - Algorithms, Applications and Extensions163
8Exact Minimization of FPRMS Using Multi-Terminal Exor TDDS191
9Multiple Domain Logic Synthesis211
10Satisfiability Problems for OFDDS233
11Complexity Theoretical Aspects of OFDDS249
12Ternary Decision Diagrams and their Applications269
13OR-and-OR Three-Level Networks293
Exercise311
Appendix317
Index327

Read More

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >