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

researchr

You are not signed in
Sign in
Sign up

Mohamed O. Kayed, Mohamed AbdElSalam, Rafik Guindi. A Novel Approach for SVA Generation of DDR Memory Protocols Based on TDML. In 15th International Microprocessor Test and Verification Workshop, MTV 2014, Austin, TX, USA, December 15-16, 2014. pages 61-66, IEEE, 2014. [doi]

Abstract is missing.

runs on WebDSL