Jacob Abraham -- Research Projects

Computer Engineering Research Center
The University of Texas at Austin

Research Projects directed by Jacob Abraham in the Computer Engineering Research Center.

Research areas include:

Testing: VLSI Testing and Design for Testability (detecting physical defects)

Verification: Formal Hardware Verification and Software Testing (detecting and removing bugs in the design)

Fault Tolerance: Design and Evaluation of Fault-Tolerant Systems (dealing with faults during operation)

Use this map to find out more about specific research topics.



Test Generation Boolean Verification Fault Injection
Test Knowledge FSM Verification Application-Level Checks
Design for Testability Analog Verification Evaluation
Self Test Techniques High Level Verification
Delay Test and
Timing Verification
Analog Test
Verification-Based Test

We gratefully acknowledge the support of the following funding agencies for our current research projects:

Back to