Representations of Discrete Functions

Authors:
Tsutomu Sasao;Masahiro Fujita
Affiliations:
-;-
Venue:
Representations of Discrete Functions
Year:
1996

Citing 0
Cited 19

Easily Testable Realizations for Generalized Reed-Muller Expressions

IEEE Transactions on Computers
A hardware simulation engine based on decision diagrams (short paper)

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Non-Abelian Groups in Optimization of Decision Diagrams Representations of Discrete Functions

Formal Methods in System Design
Two-level logic minimization

Logic Synthesis and Verification
A Unifying Approach to Edge-valued and Arithmetic Transform Decision Diagrams

Automation and Remote Control
Information Content of the Ternary Decision Diagrams

Automation and Remote Control
Learning Hardware Using Multiple-Valued Logic, Part 1: Introduction and Approach

IEEE Micro
Power minimization of FPRM functions based on polarity conversion

Journal of Computer Science and Technology
Fibonacci spectral transforms: calculation, algorithms and circuit realizations

Systems Analysis Modelling Simulation - Special issue: Digital signal processing and control
A new heuristic algorithm for reversible logic synthesis

Proceedings of the 41st annual Design Automation Conference
Minimization of memory size for heterogeneous MDDs

Proceedings of the 2004 Asia and South Pacific Design Automation Conference
Discovering Coherent Biclusters from Gene Expression Data Using Zero-Suppressed Binary Decision Diagrams

IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
An efficient technique for synthesis and optimization of polynomials in GF(2m)

Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
Design Method for Numerical Function Generators Using Recursive Segmentation and EVBDDs

IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
XML Framework for Various Types of Decision Diagrams for Discrete Functions

IEICE - Transactions on Information and Systems
Quaternary Fixed-Polarity Reed-Muller expansion computation through operations on disjoint cubes and its comparison with other methods

Computers and Electrical Engineering
Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications

Formal Methods in System Design
Remarks on calculation of autocorrelation on finite dyadic groups by local transformations of decision diagrams

EUROCAST'05 Proceedings of the 10th international conference on Computer Aided Systems Theory
Remarks on efficient computation of the inverse fourier transforms on finite non-abelian groups

EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part II

Quantified Score

Hi-index	0.00

Visualization

Abstract

From the Publisher: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.