KUAI-EXACT: a new approach for multi-valued logic minimization in VLSI synthesis
- 13 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
A new logic minimizer designed to generate the exact minimum solutions for multivalued input logic expressions is presented. The advantage of this minimizer is that it generates as few prime implicants as possible. A new algorithm is presented for directly generating essential prime implicants in a time close to that for generating a prime implicant by the ESPRESSO-MV expansion process. The authors discuss how to generate the secondary essential prime implicants in order to avoid setting up a covering table, and they present the corresponding algorithms for noncyclic functions. They also discuss the case in which a covering table should be created for obtaining an exact minimum solution and consider how to use the parallel processing techniques for the best speedup.Keywords
This publication has 13 references indexed in Scilit:
- Multiple-Valued Minimization for PLA OptimizationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1987
- Generating Essential Primes for a Boolean Function with Multiple-Valued InputsIEEE Transactions on Computers, 1987
- MACDAS: Multi-level AND-OR Circuit Synthesis Using Two-Variable Function GeneratorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1986
- An Algorithm to Derive the Complement of a Binary Function with Multiple-Valued InputsIEEE Transactions on Computers, 1985
- Input Variable Assignment and Output Phase Optimization of PLA'sIEEE Transactions on Computers, 1984
- Logic Minimization Algorithms for VLSI SynthesisPublished by Springer Nature ,1984
- An Introduction to Array LogicIBM Journal of Research and Development, 1975
- Computer Minimization of Multivalued Switching FunctionsIEEE Transactions on Computers, 1972
- A Way to Simplify Truth FunctionsThe American Mathematical Monthly, 1955
- The Problem of Simplifying Truth FunctionsThe American Mathematical Monthly, 1952