A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML. - Mohamed O. Kayed; Mohamed Abdelsalam; Rafik Guindi (MTV, 2014)

Synthesizable SVA protocol checker generation methodology based on TDML and VCD file formats. - Mohamed O. Kayed; Mohamed Abdelsalam; Rafik Guindi (HLDVT, 2016)