FIRST OREGON SYMPOSIUM ON LOGIC, DESIGN AND LEARNING


PORTLAND STATE UNIVERSITY
DEPARTMENT OF ELECTRICAL
AND COMPUTER ENGINEERING
SYMPOSIUM







PLACE: Room 30, School of Engineering Annex.
DATE: June 12 and June 13, 1995.
AUDIENCE: All graduate students and faculty are cordially invited.
GOALS:
The goal of the symposium is to discuss decomposition of Boolean and multi-valued functions and relations as a new approach to Machine Learning and Data Mining.

    PROGRAM:

  1. Marek Perkowski - Welcome and Goals: ``Logic Synthesis in Machine Learnig.''

  2. Tadeusz Luba, Professor, Technical University of Warsaw, Faculty of Electronics, Warsaw, Poland. ``Decomposition of Multiple-Valued Functions for Information System Design''.

  3. Marcel Kolsteren, Ph.D. student, Eindhoven University of Technology, Faculty of Electrical Engineering, Eindhoven, The Netherlands, ``Decomposition of Sequential Machines and Discrete Functions based on Set Systems.''

  4. Craig Files, M.S. student, University of Idaho, ``A new approach to finding bound sets of variables for Ashenhurst/Curtis decomposition.''

  5. Alan Coppola, Ph.D., Cypress Semiconductor, ``Generalized Covering Problems from Algebraic Topology and their Applications in Logic Synthesis.''

  6. Bob Lisanke, ORCAD, ``Efficient Realization of Decomposition based on Binary Decision Diagrams and new ideas about set covering versus graph coloring problems.''

  7. Paul Burkey, M.S. student, PSU, ``Decomposition of Fuzzy logic functions.''

  8. Jin S. Zhang and Zhi Wang, Ph.D. students, PSU, ``Heuristic for a BDD-based Ashenhurst Decomposer.''

  9. Rahul Malvi, M.S. student, PSU,`` Graph Coloring for Decomposition.''

  10. Michael Burns, M.S. student, PSU, ``New Approach to create graphs for functional decomposition.''

  11. Robert Gatlin, M.S. student, PSU, ``An Approach to Variable Partitioning.''

  12. Stanislaw Grygiel, Ph.D. student, PSU, ``Another Approach to Variable Partitioning.''

  13. Michael Burns, M.S. student, PSU, Ralph Almeria, M.S. student, PSU, Nick Iliev, Intel, ``New Approach to the Encoding Problem in functional decomposition.''

  14. Sida Zhou, Ph.D. student, PSU, ``A New Approach to Functional Decomposition based on Separate Decision Diagrams for ON and OFF sets.''

THE FOLLOWING PAPERS WERE A RESULT OF THIS SYMPOSIUM

  1. M. A. Perkowski, "A New Representation of Strongly Unspecified Switching Functions and Its Application to Multi-Level AND/OR/EXOR Synthesis," Proc. of the Second Workshop on Applications of Reed-Muller Expansion in Circuit Design, Chiba City, Japan, 27-29 August 1995, pp. 143-151.
    postscript of the paper
    HTML of the paper
    SLIDE 1. MVCDB representation of functions.
    SLIDE 2. MVCDB representation of functions.
    SLIDE 3. MVCDB representation of functions.
  2. M.A. Perkowski, S. Grygiel, and the Functional Decomposition Group, Department of Electrical Engineering, ``A Survey of Literature on Function Decomposition,'' Version IV, PSU Electrical Engineering Department Report, November 20, 1995.

    postscript



  3. M.A. Perkowski, T. Luba, S. Grygiel, P. Burkey, M. Burns, N. Iliev, M. Kolsteren, R. Lisanke, R. Malvi, Z. Wang, H. Wu, F. Yang, S. Zhou, and J.S. Zhang. Unified Approach to Functional Decompositions of Switching Functions. PSU Electrical Engineering Department Report, December 29, 1995. postscript.


  4. M. Perkowski, M. Burns, T.Luba, S. Grygiel, C. Stanley, R. Price, Z. Wang, J. Lu, P. Burkey, D. Manoharan, and S. Mohammad. ``Development of Search Strategies for MULTIS''. PSU Electrical Engineering Department Report, December 29, 1995. postscript.


  5. M. Perkowski, M. Burns, R. Almeria, and N. Iliev. ``Approaches to the Input-Output Encoding Problem in Boolean Decomposition,'' PSU Electrical Engineering Department Report, January 9, 1996.
    postscript.