A novel approach for assertion based verification of DDR memory protocols. - Moustafa Kassem; Marianne Michel; Mohamed Abdelsalam; Ashraf Salem (FDL, 2013)