Veri cation of Arithmetic Functionswith Binary Moment Diagrams

@inproceedings{Randal1995VeriCO,
title={Veri cation of Arithmetic Functionswith Binary Moment Diagrams},
author={Edward Randal and BryantYirng and - An and ChenCarnegie},
year={1995}
}

Binary Moment Diagrams (BMDs) provide a canonical representations for linear functions similar to the way Binary Decision Diagrams (BDDs) represent Boolean functions. Within the class of linear functions, we can embed arbitary functions from Boolean variables to real, rational, or integer values. BMDs can thus model the func-tionality of data path circuits operating over word level data. Many important functions , including integer multiplication, that cannot be represented eeciently at the bitâ€¦Â CONTINUE READING

Perkowski, \E cient repre- sentation and manipulation of switching functions based on ordered Kronecker function decision diagrams," 31st Design Automation Conference, June â€¢ 1994

View 10 Excerpts

Highly Influenced

and W

U. Kebschull, E. Schubert

Rosentiel, \Multilevel logic based on functional decision diagrams," European Design Automation Conference â€¢ 1992

View 9 Excerpts

Highly Influenced

and I

D. Sieling

Wegner, \Graph driven BDDs|a new data structure for Boolean functions," To appear in Theoretical Computer Science â€¢ 1994

A

R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel, E. Macii

Pardo, and F .Somenzi, \Algebraic decision diagrams and their applications," International Confer- ence on Computer-Aided Design, November â€¢ 1993

E. Clarke, M. Fujita, P. C. McGeer, K. L. McMillan

C.-Y. Yang, \Multi-terminal binary decision diagrams: an e cient data structure for matrix representation," unpub- lished â€¢ 1993

and S

Y.-T. Lai, M. Pedram

B. K. Vrudhula, \FGILP: An integer linear program solver based on function graphs," International Conference on Computer-Aided Design, November â€¢ 1993

and D

J. Jain, J. Bitner, J. A. Abraham

S. Fussell, \Functional partitioning for veri - cation and related problems," Advanced Research in VLSI and Parallel Systems: Pro- ceedings of the 1992 Brown/MIT Conference, T. Knight, and J. Savage, eds. â€¢ 1992