Omar Samir, Moustafa Kassem, Mohammed Sameh, Sarah Aly, M. Rizk, Mohamed Abdelsalam, A. Salem
{"title":"一种新的内存协议标准功能验证方法","authors":"Omar Samir, Moustafa Kassem, Mohammed Sameh, Sarah Aly, M. Rizk, Mohamed Abdelsalam, A. Salem","doi":"10.1109/IDT.2013.6727111","DOIUrl":null,"url":null,"abstract":"This paper aims to develop an Open Verification Methodology (OVM) environment to support testing of memory protocol standards and verify their operation using coverage driven verification (CDV) and constrained random testing (CRT). The objective is to achieve most of the verification plan goals with less time and effort and to create reusable verification environment components. We demonstrate the robustness of this approach using LPDDR3 memory protocol as a case study.","PeriodicalId":446826,"journal":{"name":"2013 8th IEEE Design and Test Symposium","volume":"18 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2013-12-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A novel approach for functional verification of memory protocol standard\",\"authors\":\"Omar Samir, Moustafa Kassem, Mohammed Sameh, Sarah Aly, M. Rizk, Mohamed Abdelsalam, A. Salem\",\"doi\":\"10.1109/IDT.2013.6727111\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper aims to develop an Open Verification Methodology (OVM) environment to support testing of memory protocol standards and verify their operation using coverage driven verification (CDV) and constrained random testing (CRT). The objective is to achieve most of the verification plan goals with less time and effort and to create reusable verification environment components. We demonstrate the robustness of this approach using LPDDR3 memory protocol as a case study.\",\"PeriodicalId\":446826,\"journal\":{\"name\":\"2013 8th IEEE Design and Test Symposium\",\"volume\":\"18 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2013-12-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2013 8th IEEE Design and Test Symposium\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IDT.2013.6727111\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2013 8th IEEE Design and Test Symposium","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IDT.2013.6727111","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A novel approach for functional verification of memory protocol standard
This paper aims to develop an Open Verification Methodology (OVM) environment to support testing of memory protocol standards and verify their operation using coverage driven verification (CDV) and constrained random testing (CRT). The objective is to achieve most of the verification plan goals with less time and effort and to create reusable verification environment components. We demonstrate the robustness of this approach using LPDDR3 memory protocol as a case study.