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.
EXOR logic.EXOR Decision Diagrams.
Spectral Methods.
Linearly Independent Logic.
Regular Layout RepresentationsRestructuring for Direct Mapping
Pass-Transistor Synthesis
Layout-driven logic Synthesis
Partitioning and Floorplanning
Logic and System Synthesis
Interconnect Optimization
Systolic and Pipelined Processors
Decision Diagrams.
Implicit Algorithms.
Multi-Valued Logic.
Fuzzy Logic.
Search.
Satisfiability.
Model Checking.Automatic-Theorem Proving.
Microprocessor Verification.
Decision Diagrams for Verification.
Minimization.Encoding.
Decomposition.
Special Structures.