Research Areas of Portland Logic and Optimization Group.



  1. Decomposition-based FPGA and VLSI synthesis:
    Alan Mishchenko, Marek Perkowski, Anas Al-Rabadi (Ph.D. student).

  2. Test, Design for Test and Design for Self-Repair:
    Doug Hall, Lech Jozwiak, David Jun, Alan Mishchenko, Bernd Steinbach, Xiaoyu Song, Marek Perkowski, Dipal Shah (Ph.D. student), Chong-Ho Lee (Ph.D. student), Martin Lukac (Ph.D. student), Patryk Lech (Ph.D. student).
    ATPG for Combinational and Sequential Circuits.

    Testability of Regular Diagrams.

    Testability of EXOR logic and quasi-group based logic.

    Self-test, self-diagnosis and self-repair.

    Testing & Fault Tolerance.

    Testing & DFT of Multiple-Valued and Fuzzy Logic.

    Analog Circuits Optimization and Testing.



  3. Regular Structures: Lattice Diagrams, Net structures, Regular Layout, Field Programmable Analog Arrays, and Layout-Driven Logic Synthesis:
    Marek Perkowski, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi (Ph.D. student).



  4. EXOR Logic Synthesis
    Marek Perkowski, Alan Mishchenko, Xiaoyu Song, Anas Al-Rabadi (Ph.D. student).
    EXOR logic.

    EXOR Decision Diagrams.

    Spectral Methods.

    Linearly Independent Logic.



  5. VLSI Design Automation for Deep Sub-Micron Technology:
    Xiaoyu Song, Marek Perkowski, Alan Mishchenko.
    Regular Layout Representations

    Restructuring for Direct Mapping

    Pass-Transistor Synthesis

    Layout-driven logic Synthesis

    Partitioning and Floorplanning

    Logic and System Synthesis

    Interconnect Optimization

    Systolic and Pipelined Processors



  6. Logic Synthesis and Applications:
    Alan Mishchenko, Marek Perkowski, Xiaoyu Song.

    Decision Diagrams.

    Implicit Algorithms.

    Multi-Valued Logic.

    Fuzzy Logic.

    Search.

    Satisfiability.





  7. Formal Methods and Verification:
    Xiaoyu Song, Alan Mishchenko, Marek Perkowski.
    Model Checking.

    Automatic-Theorem Proving.

    Microprocessor Verification.

    Decision Diagrams for Verification.



  8. Finite State Machines and Sequential Logic.
    Marek Perkowski, Xiaoyu Song, Alan Mishchenko.
    Minimization.

    Encoding.

    Decomposition.

    Special Structures.