• DocumentCode
    1054820
  • Title

    Generating minimal covers of symmetric functions

  • Author

    Dietmeyer, Donald L.

  • Author_Institution
    Dept. of Electr. & Comput. Eng., Wisconsin Univ., Madison, WI, USA
  • Volume
    12
  • Issue
    5
  • fYear
    1993
  • fDate
    5/1/1993 12:00:00 AM
  • Firstpage
    710
  • Lastpage
    713
  • Abstract
    An algorithm is offered for generating minimum-cost, two-level expressions for totally symmetric, complete switching functions. The algorithms discussed were programmed in TurboPascal (and TurboC) and executed on an IBM PS/2-80. Many symmetric switching functions of from 7 to 15 variables were minimized and the results validated against the original specifications of the functions. Run times varied from a tenth to tens of seconds and were heavily dependent on the size of the input array and the literals of symmetry
  • Keywords
    logic CAD; minimisation of switching nets; switching functions; IBM PS/2-80; TurboC; TurboPascal; switching functions; symmetric functions; Logic; Testing;
  • fLanguage
    English
  • Journal_Title
    Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0278-0070
  • Type

    jour

  • DOI
    10.1109/43.277615
  • Filename
    277615
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1054820