A novel approach for assertion based verification of DDR memory protocols.

Moustafa Kassem, Marianne Michel, Mohamed Abdelsalam, Ashraf Salem

Browse the full FDL paper archive.