DocumentCode :
450605
Title :
New Methods in the Analysis of Logic Minimization Data and Algorithms
Author :
Coppola, Nan J.
Author_Institution :
Mentor Graphics Corporation, Beaverton, OR
fYear :
1989
fDate :
25-29 June 1989
Firstpage :
226
Lastpage :
231
Abstract :
This paper introduces techniques from combinatorial and algebraic topology to help in explaining and measuring the performance of modern logic minimizers. The concepts of simple cubical homotopy and the Euler-Poincare characteristic of a logic cover are defined and analyzed. In particular, simple cubical homotopy is related to the minimization algorithms Espresso-EXACT and Roth\´s Extraction Algorithm. Experimental results on the Euler-Poincare characteristic, along with a new measure, the Euler Ratio are related to the function complexity concepts of "cyclic constraints" in Espresso_EXACT, the "CyclicKernel" in Roth\´s Extraction Algorithm, and "cubical homotopy" introduced in this paper.
Keywords :
Algorithm design and analysis; Boolean functions; Equations; Logic functions; Logic testing; Minimization methods; Permission; Robustness; Synthesizers; Topology;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Design Automation, 1989. 26th Conference on
ISSN :
0738-100X
Print_ISBN :
0-89791-310-8
Type :
conf
DOI :
10.1109/DAC.1989.203400
Filename :
1586384
Link To Document :
بازگشت