Multiple-Valued Minimization for PLA Optimization

  title={Multiple-Valued Minimization for PLA Optimization},
  author={Richard L. Rudell and Alberto L. Sangiovanni-Vincentelli},
  journal={IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems},
This paper describes both a heuristic algorithm, Espresso-MV, and an exact algorithm, Espresso-EXACT, for minimization of multiple-valued input, binary-valued output logic functions. Minimization of these functions is an important step in the optimization of programmable logic arrays (PLA's). In particular, the problems of two-level multiple-output minimization, minimization of PLA's with input decoders and solutions to the input encoding problem rely on efficient solutions to the multiple… CONTINUE READING
Highly Influential
This paper has highly influenced 39 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 352 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 219 extracted citations

Use of SAT Solvers in Cryptanalysis

Ladislav Pápay
View 9 Excerpts
Highly Influenced

Conditional Partial Order Graphs

View 5 Excerpts
Highly Influenced

Advances in encoding for logic synthesis

View 5 Excerpts
Highly Influenced

Boolean function minimization based on Intel architecture

2008 International Conference on "Modern Problems of Radio Engineering, Telecommunications and Computer Science" (TCSET) • 2008
View 11 Excerpts
Highly Influenced

352 Citations

Citations per Year
Semantic Scholar estimates that this publication has 352 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…