Mohamed O. Kayed

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

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi, 2014, 2014 15th International Microprocessor Test and Verification Workshop.

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

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi, 2016, 2016 IEEE International High Level Design Validation and Test Workshop (HLDVT).