On the minimization of SOPs for bi-decomposable functions

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

Volumn 2001-January, Issue , 2001, Pages 219-224

  Sasao, T ^a   Butler, J T ^b  

^a KYUSHU INSTITUTE OF TECHNOLOGY   (Japan)

^b Naval Postgraduate School   (United States)

Author keywords

Hydrogen

Indexed keywords

COMPUTER AIDED DESIGN; HYDROGEN;

BENCHMARK FUNCTIONS; DISTRIBUTIVITY; INCOMPLETELY SPECIFIED FUNCTIONS; LOGIC FUNCTIONS; RANDOM FUNCTIONS; SUM OF PRODUCTS; SYMMETRIC FUNCTIONS; UNATE FUNCTIONS;

BENCHMARKING;

EID: 84949807392     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASPDAC.2001.913308     Document Type: Conference Paper

References (7)

1. R. K. Brayton, G. D. Hactel, C. T. McMullen, and A. Sangiovanni-Vincentelli, Logic Minimization Algorithms for VLSI Synthesis, Norwall, MA, Kluwer Academic Publishers, April 1984.
2. R. S. Michalski and Z. Kulpa, "A system of programs for the synthesis of switching circuits using the method of disjoint stars," Proceedings of IFIP Congress, pp. 61-65, April 1971.
3. A. Odlyzko, "On covering a product of sets with products of subsets," Discrete Mathematics, pp. 373-380, 1973.
4. W. J. Paul, "Realizing Boolean functions on disjoint set of variables," Theoretical Computer Science 2, pp. 383-396, 1976.
5. R. L. Rudell and A. Sangiovanni-Vincentelli, "Multiple-valued minimization for PLA optimization," IEEE Trans. Computer-Aided Design, vol. CAD-6, No. 5 pp. 727-749, September 1987.
6. T. Sasao and M. Matsuura, "DECOMPOS: An integrated system for functional decomposition," 1998 International Workshop on Logic Synthesis, Lake Tahoe, pp. 471-477, June 1998.
7. B. Voight and I. Wegener, "A remark on minimal polynomials of Boolean functions," CSL'88, 2nd Workshop on Computer Science Logic Proceedings, pp. 372-383, 1989.