PROJECTS FROM YEAR 1998


  • PROJECT 1: SCOTT BLOOM: Generalized techniques for Serial to Parallel Conversion.

  • PROJECT 2: VIKRANTH VEMULAPALLI: Modification of Rajski's factorization algorithm for ESOPs.

  • PROJECT 3: ZHEN LIU: Testability Preserving Transformation on ESOP in
    Multi-Level Logic Synthesis.

  • PROJECT 4: TORREY LEWIS: SIMD/Cellular Computer for basic operations of Rough Sets Theory implemented in DEC PERLE-1 board. Torrey's Home Page and project description. It includes good links to Rough Set Theory and Machine Learning Data Bases.

  • PROJECT 5: OMAR JUNAID: New approach to create Kronecker Lattice Diagrams using heuristics from Becker/Drechsler
    KFDD package. Omar's Home Page and project description. It includes good links to KFDD and BDD pages.

  • PROJECT 6: VINEETA SINHA: Using Multi-Valued Function Decomposition for Data Mining. Experiments.

  • PROJECT 7: ALEX B. MA: Discussion of modern Decision Diagrams representations for Verification.

  • PROJECT 8: ROBERT HATT: Concept of Decision Diagrams-based System for Verification.

  • PROJECT 9: CHONG-HO, LEE: Self-Repairing GAL for increased in-field reliability.

  • PROJECT 10: DUONG PHANTHAVONG, ROBERT JAZDI: Self-Synchronous Design Technology and Application.

  • PROJECT 11: NAGESH VENKATARAMAIAH: Data Mining techniques in test sequence generation.