• DocumentCode
    452026
  • Title

    Auxiliary Variables for Extending Symbolic Traversal Techniques to Data Paths

  • Author

    Cabodi, Gianpiero ; Camurati, Paolo ; Quer, Stefano

  • Author_Institution
    Politecnico di Torino, Dipartimento di Automatica e Informatica, Turin, Italy
  • fYear
    1994
  • fDate
    6-10 June 1994
  • Firstpage
    289
  • Lastpage
    293
  • Abstract
    Symbolic state space traversal techniques are best on control-dominated circuits, not on data paths. This paper extends their applicability to data paths. We use auxiliary variables to decompose Boolean functions and to manipulate them in decomposed form. Experimental results demonstrate the gain both in terms of BDD size and CPU time.
  • Keywords
    Binary decision diagrams; Boolean functions; Central Processing Unit; Circuits; State-space methods;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design Automation, 1994. 31st Conference on
  • ISSN
    0738-100X
  • Print_ISBN
    0-89791-653-0
  • Type

    conf

  • DOI
    10.1109/DAC.1994.204113
  • Filename
    1600386
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=452026