Haytham Saafan

Publication Activity (10 Years)

Years Active: 2013-2016
Publications (10 Years): 2

Top Topics

Functional Verification

Automatic Extraction

Memory Footprint

Top Venues

Publications

Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
Formal Based Methodology for Inferring Memory Mapped Registers. MTV (2016)
Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem
SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification. IDT (2016)
Khaled Nouh, Haytham Saafan, Ahmed Ismail
X-Aware verification: A different perspective! ICECS (2013)