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)

Publications on Google Scholar

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 research over the years

Back to