Achieving optimality for gate matrix layout and PLA folding: a graph theoretic approach

Abstract We present O(n3) heuristic algorithms for multiple/ simple PLA folding, which also apply to the matrix layout problem. Our heuristic is based on a new approach, where both problems are shown to be composed by a permutation step followed by a compaction step. Therefore we are able to show that the exponential complexity of the problem stems from the permutation step—where a good configuration is searched—, since the compaction step—where the actual folding takes place—is optimally solved in polynomial time. We discuss bounds on the distance of the obtained solution to the optimal and give sufficient conditions for the solution to be optimal. Verification of the sufficient conditions constitutes part of the proposed algorithms, and is in fact used to construct the heuristic solution. An example showing the multiple folding of a 58 × 19 PLA produced by the proposed algorithm is presented.

[1]  Jean-François Paillotin Optimization of the PLA Area , 1981, 18th Design Automation Conference.

[2]  Michael A. Langston,et al.  Exact and Approximate Solutions for the Gate Matrix Layout Problem , 1987, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[3]  Kellogg S. Booth,et al.  Testing for the Consecutive Ones Property, Interval Graphs, and Graph Planarity Using PQ-Tree Algorithms , 1976, J. Comput. Syst. Sci..

[4]  Harold Fredricksen Generation of the Ford Sequence of Length 2n, n Large , 1972, J. Comb. Theory, Ser. A.

[5]  R. Weiner Lecture Notes in Economics and Mathematical Systems , 1985 .

[6]  R. Möhring Algorithmic graph theory and perfect graphs , 1986 .

[7]  Rolf H. Möhring,et al.  Graph Problems Related to Gate Matrix Layout and PLA Folding , 1990 .

[8]  Michael R. Fellows,et al.  Nonconstructive Advances in Polynomial-Time Complexity , 1987, Inf. Process. Lett..

[9]  Silvio Micali,et al.  An O(v|v| c |E|) algoithm for finding maximum matching in general graphs , 1980, 21st Annual Symposium on Foundations of Computer Science (sfcs 1980).

[10]  Robert W. Dutton,et al.  A Best-First Search Algorithm for Optimal PLA Folding , 1986, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[11]  A. Tucker,et al.  A structure theorem for the consecutive 1's property☆ , 1972 .

[12]  Michael A. Langston,et al.  obstruction Set Isolation for the Gate Matrix Layout Problem , 1994, Discret. Appl. Math..

[13]  Alberto L. Sangiovanni-Vincentelli,et al.  An Algorithm for Optimal PLA Folding , 1982, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[14]  O. J. Murphy,et al.  Graph theoretic algorithms for the PLA folding problem , 1989, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..

[15]  M. Golumbic CHAPTER 3 – Perfect Graphs , 1980 .

[16]  Afonso Galvao Ferreira,et al.  An Optimal O(n2)-Algorithm to Fold Special PLA’s , 1988 .