Derivation of Minimal Sums for Completely Specified Functions
IEEE Transactions on Computers
Logic Design and Switching Theory
Logic Design and Switching Theory
Logic Design of Digital Systems
Logic Design of Digital Systems
Logic Minimization Algorithms for VLSI Synthesis
Logic Minimization Algorithms for VLSI Synthesis
Computer aided minimization procedure for boolean functions
DAC '84 Proceedings of the 21st Design Automation Conference
Design of minimal programmable logic arrays
Design of minimal programmable logic arrays
Implicit and incremental computation of primes and essential primes of Boolean functions
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
A new viewpoint on two-level logic minimization
DAC '93 Proceedings of the 30th international Design Automation Conference
Doing two-level logic minimization 100 times faster
Proceedings of the sixth annual ACM-SIAM symposium on Discrete algorithms
Logic Synthesis and Verification
Knowledge discovery with second-order relations
Knowledge and Information Systems
Restructuring decision tables for elucidation of knowledge
Data & Knowledge Engineering
Synthesis of integer multipliers in sum of pseudoproducts form
Integration, the VLSI Journal
Machine-learning-based circuit synthesis
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Hi-index | 14.98 |
For the automated design of PLAs (programmable logic arrays) with a minimum size, computationally efficient procedures are needed that can minimize functions of a large number of variables. For such minimization procedures, excessively long processing time and an excessively large memory requirement are major problems to overcome. An absolute minimization procedure is presented for standard PLAs with reduced computation time and memory space. The improvement achieved by this procedure, which is based on the decomposition of ratio sets, is mainly due to the detection of all essential prime implicants during the derivation of inclusion functions and to the merger of two procedures previously published by R.B. Cutler and S. Muroga (1987) into one efficient procedure.