Mohamed O. Kayed

Publication Activity (10 Years)

Years Active: 2014-2016
Publications (10 Years): 1

Top Topics

Generation Method

Spatially Variant

Communication Protocols

Top Venues

Publications

Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi
Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats. HLDVT (2016)
Mohamed O. Kayed, Mohamed Abdelsalam, Rafik Guindi
A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML. MTV (2014)