Skip to main content
Have a personal or library account? Click to login
FSM Encoding for BDD Representations Cover

FSM Encoding for BDD Representations

International Journal of Applied Mathematics and Computer Science
Volume 17 (2007): Issue 1 (March 2007)
By: ,  ,   and    
Open Access
|Apr 2007
References

References

  1. Bern J., Meinel C. and Slobodova A. (1996):— IEEE Trans. CAD Int. Circuits Syst., Vol. 15, No. 1, pp. 131-134.
    Open DOISearch in Google Scholar
  2. Brayton R.K., Hachtel G.D., McMullen C.T. and Sangiovanni-Vincentelli A.L. (1984):— Kluwer Academic Publishers.
    Open DOISearch in Google Scholar
  3. Bryant R.E. (1986):— IEEE Trans. Comput., Vol. C(35), No. 8, pp. 677-691.
    Open DOISearch in Google Scholar
  4. Bryant R.E. (1992):— ACM Comput. Surveys, Vol. 24, No. 3.
    Open DOISearch in Google Scholar
  5. Buch P., Narayan A., Richard Newton A. and Sangiovanni-Vincentelli A. (1997):— Proc. 1997 IEEE/ACM Int. Conf., ICCAD '97, Washington, DC, USA, pp. 663-670.
    Open DOISearch in Google Scholar
  6. Cabodi G., Quer S. and Camurati P. (1995):, In: Proc. Correct Hardware Design and Verification CHARME'95, (P. Camurati and P. Eveking, Edi.), LNCS, Vol. 987, pp. 161-170.
    Open DOISearch in Google Scholar
  7. Drechsler R., Drechsler N. and Gunther W. (2000):— IEEE Trans. CAD Int. Circ. Syst., Vol. 19, No. 3, pp. 384-389.
    Open DOISearch in Google Scholar
  8. Drechsler R., Junhao Shi and Görschwin Fey (2004):— IEEE Trans. CAD Int. Circ. Syst., Vol. 23, No. 3, pp. 440-443.
    Open DOISearch in Google Scholar
  9. Gosti W., Villa T., Saldanha A. and Sangiovanni-Vincentelli A. (1998):— Proc. 8-th Great Lakes Symp. VLSI, Lafayette, LA, USA, pp. 294-300.
    Search in Google Scholar
  10. Gosti W., Villa T., Saldanha A. and Sangiovanni-Vincentelli A.L. (1997):— Techn. rep., University of California at Berkeley, No. UCB/ERL M97/22.
    Search in Google Scholar
  11. Gunther W. and Drechsler R. (1998):— Proc. 8-th Great Lakes Symp. VLSI, Lafayette, LA, USA, pp. 325-330.
    Open DOISearch in Google Scholar
  12. Gunther W. and Drechsler R. (2000):— J. Syst. Archit., Vol. 46, No. 14, pp. 1321-1334.
    Open DOISearch in Google Scholar
  13. Hartrmanis J. and Stearns R.E. (1962):— Inf. Contr., Vol. 5, No. 3, pp. 252-260.
    Open DOISearch in Google Scholar
  14. Lavagno L., McGeer P., Saldanha A. and Sangiovanni-Vincentelli A.L. (1995):— Proc. 32-th Design Automation Conf., San Francisco, CA, USA, pp. 254-260.
    Open DOISearch in Google Scholar
  15. Lee E.B. and Perkowski M. (1984):— Proc. IEEE Int. Conf. Syst., Man Cybernetics, Halifax, Nova Scotia, Canada, pp. 248-260.
    Search in Google Scholar
  16. Lisanke R. (1989):— Research Triangle Park, North Carolina, Microelectronics Center of North Carolina.
    Search in Google Scholar
  17. Macchiarulo L., Benini L. and Macii E. (2001):— Proc. Conf., DATE '01, pp. 546-551, Piscataway, NJ, USA, IEEE Press.
    Search in Google Scholar
  18. Meinel C., Somenzi F. and Theobald T. (2000):— IEEE Trans. CAD Int. Circ. Syst., Vol. 19, No. 5, pp. 521-533.
    Open DOISearch in Google Scholar
  19. Meinel C. and Theobald T. (1999):— Theoret. Inf. Applic., Vol. 33, No. 1, pp. 21-31.
    Open DOISearch in Google Scholar
  20. Meinel Ch. and Theobald T. (1996 a):— Proc. Int. Conf., London: Springer, No. 1166, pp. 404-418.
    Open DOISearch in Google Scholar
  21. Meinel Ch. and Theobald T. (1996 b):— Techn. rep. 96-04, Universität Trier, Germany.
    Search in Google Scholar
  22. Rudell R. (1993):— Proc. Int. Conf., San Francisco, CA, USA, pp. 42-47.
    Open DOISearch in Google Scholar
  23. Saldanha A., Villa T., Brayton R. and Sangiovanni-Vincentelli A. (1994):— IEEE Trans. CAD Int. Circ. Syst., Vol. 13, No. 5, pp 589-602.
    Search in Google Scholar
  24. Villa T., Kam T., Brayton R. and Sangiovanni-Vincentelli A. (1997):— Boston: Kluwer.
    Search in Google Scholar
  25. Yuan L., Qu G., Villa T. and Sangiovanni-Vincentelli A.L. (2005):— Proc. 2005 Asia South Pacific Design Automation Conf. (ASP-DAC 2005), Shanghai, China, Vol. 1, pp. 254-259.
    Open DOISearch in Google Scholar
DOI: https://doi.org/10.2478/v10006-007-0011-6 | Journal eISSN: 2083-8492 | Journal ISSN: 1641-876X
Journal RSS Feed
Language: English
Page range: 113 - 124
Published on: Apr 5, 2007
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
binary decision diagram,
encoding,
finite state machine,
logic synthesis,
formal verification,
logic representation
Related subjects:
Mathematics,
Applied mathematics

© 2007 Wilsin Gosti, Tiziano Villa, Alex Saldanha, Alberto Sangiovanni-Vincentelli, published by University of Zielona Góra
This work is licensed under the Creative Commons License.

Volume 17 (2007): Issue 1 (March 2007)
Previous article
Next article