Haytham Saafan

According to our database, Haytham Saafan authored at least 3 papers between 2013 and 2016.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2016

Formal Based Methodology for Inferring Memory Mapped Registers.

Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 17th International Workshop on Microprocessor and SOC Test and Verification, 2016

SoC connectivity specification extraction using incomplete RTL design: An approach for Formal connectivity Verification.

Haytham Saafan, M. Watheq El-Kharashi, Ashraf Salem

Proceedings of the 11th International Design & Test Symposium, 2016

2013

X-Aware verification: A different perspective!

Khaled Nouh, Haytham Saafan, Ahmed Ismail

Proceedings of the 20th IEEE International Conference on Electronics, 2013