Mohamed O. Kayed

According to our database, Mohamed O. Kayed authored at least 2 papers between 2014 and 2016.

Collaborative distances:

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

2016

Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats.

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

2014

A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML.

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi

Proceedings of the 15th International Microprocessor Test and Verification Workshop, 2014