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.