Khaled Nouh

According to our database, Khaled Nouh authored at least 3 papers between 2013 and 2017.

Collaborative distances:

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

2017

Multiple reset domains verification using assertion based verification.

Islam Ahmed, Khaled Nouh, Amr Abbas

Proceedings of the 2017 IFIP/IEEE International Conference on Very Large Scale Integration, 2017

2015

Binary floating point verification using random test vector generation based on SV constraints.

Khaled Nouh, Hossam A. H. Fahmy

Proceedings of the 2015 IEEE International Conference on Electronics, 2015

2013

X-Aware verification: A different perspective!

Khaled Nouh, Haytham Saafan, Ahmed Ismail

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