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

Citations

Publications citing this paper.

References

Publications referenced by this paper.
Showing 1-10 of 17 references

and M

R. Drechsler, A. Sarabi, M. Theobald, B. Becker
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
View 2 Excerpts

and J

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
View 1 Excerpt

Similar Papers

Loading similar papers…