Title :
Generating minimal covers of symmetric functions
Author :
Dietmeyer, Donald L.
Author_Institution :
Dept. of Electr. & Comput. Eng., Wisconsin Univ., Madison, WI, USA
fDate :
5/1/1993 12:00:00 AM
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;
Journal_Title :
Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on
