论文信息 - The Socrates Logic Synthesis and Optimization System - 字舞流文

The Socrates Logic Synthesis and Optimization System

David A. Gregory | Aart J. De Geus | David A. Gregory

[1] William W. Cohen,et al. A Rule-Based System for Optimizing Combinational Logic , 1985, IEEE Design & Test of Computers.

[2] Tsutomu Sasao,et al. Multiple-Valued Decomposition of Generalized Boolean Functions and the Complexity of Programmable Logic Arrays , 1981, IEEE Transactions on Computers.

[3] Willard Van Orman Quine,et al. The Problem of Simplifying Truth Functions , 1952 .

[4] Takao Uehara. A Knowledge-Based Logic Design System , 1985, IEEE Design & Test of Computers.

[5] Louise Trevillyan,et al. Logic Synthesis Through Local Transformations , 1981, IBM J. Res. Dev..

[6] E. McCluskey. Minimization of Boolean functions , 1956 .

[7] Takuji Ogihara,et al. LORES-2: A Logic Reorganization System , 1985, IEEE Design & Test of Computers.

[8] Rocco H. Urbano,et al. A Topological Method for the Determination of the Minimal Forms of a Boolean Function , 1956, IRE Trans. Electron. Comput..

[9] Robert B. Hitchcock,et al. Timing verification and the timing analysis program , 1988, DAC 1982.

[10] Daniel L. Ostapko,et al. MINI: A Heuristic Approach for Logic Minimization , 1974, IBM J. Res. Dev..