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)

Resilient Systems: Design and Evaluation of Resilient Systems (dealing with faults during operation)

Hardware and System Security:Design of systems to prevent hardware Trojans and system intrusion attacks

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
Hardware and System Security

We gratefully acknowledge the support of the following funding agencies for research over the years

Back to