Search: 
GSRC Student Profile:

Rawan Abdel-Khalek

(For more contact info, please log in.)

University of Michigan
Advisor: Valeria Bertacco

GSRC theme:  resiliency
Expected graduation:  May, 2013

Research Overview:  Ensuring correctness of the interconnect subsystem

My research interests are in ensuring correctness of the interconnect subsystem and system-level communication of hardware designs. As silicon technology continues to scale, designs are increasing in size and complexity, resulting in complex interconnects and intricate system-level operations. My research work focuses on developing solution to aid the verification process of the communication subsystems and guarantee their functional correctness.