An off-cubes expanding approach to the problem of separate determination of the essential prime implicants of the single-output Boolean functions

EUROCON 2007 - The International Conference on Computer as a Tool

Volumn , Issue , 2007, Pages 432-438

  Başçiftçi, Fatih ^a   Kahramanli, Şirzat ^a  

^a SELCUK UNIVERSITY   (Turkey)

Author keywords

Cube algebra; Cube expanding; Direct cover principle; Logic minimization; Off set based minimization; Prime implicant

Indexed keywords

BOOLEAN ALGEBRA; FUNCTION EVALUATION; ITERATIVE METHODS;

(E ,3E) PROCESS; (MIN ,MAX ,+) FUNCTIONS; INTERNATIONAL CONFERENCES; PRIME IMPLICANTS;

BOOLEAN FUNCTIONS;

EID: 46149107297     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EURCON.2007.4400396     Document Type: Conference Paper

References (19)

1. R. E. Miller, "Switching Theory", Vol. 1. New York: Wiley, 1965.
2. nd ed. Boston, 1978.
3. R. K. Brayton, G.D. Hachtel, C.T. McMullen, A. Singiovanni-Vincentelli, "Logic Minimization Algorithms for VLSI Synthesis", Boston, Kluwer Academic, 1984.
4. E. Hong, S. Muroga, "Absolute Minimization of Completely Specified Switching Functions", IEEE trans. Computers, vol. 40, no 11, pp 53-65, January, 1991.
5. P. R. Tirumalai, J. T. Butler, "Minimization Algorithms for Multiple-Valued Programmable Logic Arrays", IEEE Trans. Comp, vol.40, no:2, pp: 167-178, 1991.
6. T. Sasao, "A Simplification Algorithm for Exclusive OR-Sum-of Products Expressions for Multiple-Valued- Input Two- Valued Output Functions", IEEE Trans. Computer Aided Design, vol. 12, no5, pp.621-632, May, 1993.
7. Y.L. Wu, H. Fan, M. Marek-Sadowska, C.K. Wong, "OBDD Minimization Based on Two-Level Representation of Boolean Functions", IEEE trans. Computers, vol. 49, no 12, pp 1371-1379, December, 2000.
8. Sharon R. Perkins, Tom Rhyne, "An Algorithm for Identifying and Selecting The PI's of a Multiple-Output Boolean Function", IEEE Trans. Computer Aided Design, vol. 7, no 11, pp.1215-1218, November 1988.
9. B. Gurunath, Nripendra N. Biswas, "An Algorithm for Multiple Output Minimization", IEEE Trans. Computer Aided Design, Vol. 8, no 9, September 1989.
10. A. Mishchenco, T. Sasao, "Large-scale SOP minimization using decomposition and functional properties", IEEE CNF, Design Automation Conference, 2003. Proceedings, 2-6 June 2003, Pages: 149-154.
11. P. Fisher, J. Hlavicka, H. Kubatova, "FC-Min: "A Fast Multi-Output Minimizer", IEEE CNF, Digital System Design, 2003. Proceedings, Euromicro Symposium on, 1-6 Sept. 2003, Pages:451-454.
12. K.A. Bartlett, R.K. Brayton, G. D. Hachtel, R. M. Jacoby, C. R. Morrison, R. L. Rudell, A. Sangiovanni-Vincentelli, Albert R. Wang, "Multilevel Logic Minimization Using Implicit Don't Cares", IEEE Trans. Computer Aided Design, vol. 7, no 6, June pp. 723-740, 1988.
13. A. A. Malik, R. K. Brayton, A. R. Newton, A. Singiovanni-Vincentelli, "Two-Level Minimization of Multivalued Functions with Large Offsets", IEEE Trans. Comput., vol. 42, no 11, pp. 1325-1342, November 1993.
14. T. Sasao, J.T. Butler, "Worst and Best Irredundant Sum-of-Product Expressions", IEEE Trans. Comput., vol. 50, no 9, pp. 935-947, September 2001.
15. P. Fišer, J. Hlavička, "BOOM- A Heuristic Boolean Minimizer", Journal of Computing and Informatics, June 22, 2003, pp. 1001-1033.
16. Ch. Umans, "The Minimum Equivalent DNF Problem and Shortest Implicants", Journal of Computer and System Sciences, 63 (2001), pp. 597-611.
17. R. Johnsonbaugh and M. Schaefer, "Algorithms", Pearson Prentice Hall, 2004.
18. A. A. Malik, R. K. Brayton, A. R. Newton, A. Singiovanni-Vincentelli, "Reduced Offsets for Minimization of Binary-Valued Functions", IEEE Trans. Comput., vol. 10, no 4, pp. 413-426, April 1991.
19. C. Umans, T.Villa and A. Singiovanni-Vincentelli, "Complexity of Two-Level Logic Minimization", IEEE Trans. Comput. Aided Design of Integrated Circuits and Systems, vol. 25, no 7, pp. 1230-1246, July 2006.