等效性检查一个256 MB的SDRAM

Proceedings 2001 IEEE International Workshop on Memory Technology, Design and Testing Pub Date : 2001-08-06 DOI:10.1109/MTDT.2001.945234

S. Napper, D. Yang

{"title":"等效性检查一个256 MB的SDRAM","authors":"S. Napper, D. Yang","doi":"10.1109/MTDT.2001.945234","DOIUrl":null,"url":null,"abstract":"This paper outlines how symbolic simulation was used to verify both data and sequence integrity in a 256 MB SDRAM. The initial step is to examine the underlying equivalence-checking engine and then explain how it is applied to SDRAM verification. SDRAM verification is interesting in that it captures both memory and sequence verification. The data integrity verification is valid for any type of memory structure and the sequence integrity can be extended to many types of sequenced machines.","PeriodicalId":159230,"journal":{"name":"Proceedings 2001 IEEE International Workshop on Memory Technology, Design and Testing","volume":"28 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-08-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Equivalence checking a 256 MB SDRAM\",\"authors\":\"S. Napper, D. Yang\",\"doi\":\"10.1109/MTDT.2001.945234\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper outlines how symbolic simulation was used to verify both data and sequence integrity in a 256 MB SDRAM. The initial step is to examine the underlying equivalence-checking engine and then explain how it is applied to SDRAM verification. SDRAM verification is interesting in that it captures both memory and sequence verification. The data integrity verification is valid for any type of memory structure and the sequence integrity can be extended to many types of sequenced machines.\",\"PeriodicalId\":159230,\"journal\":{\"name\":\"Proceedings 2001 IEEE International Workshop on Memory Technology, Design and Testing\",\"volume\":\"28 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-08-06\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 2001 IEEE International Workshop on Memory Technology, Design and Testing\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MTDT.2001.945234\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 2001 IEEE International Workshop on Memory Technology, Design and Testing","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MTDT.2001.945234","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文概述了如何使用符号模拟来验证256 MB SDRAM中的数据和序列完整性。第一步是检查底层的等效性检查引擎，然后解释如何将其应用于SDRAM验证。SDRAM验证很有趣，因为它同时捕获内存和序列验证。数据完整性验证适用于任何类型的存储结构，序列完整性验证可推广到多种类型的测序机。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Equivalence checking a 256 MB SDRAM

This paper outlines how symbolic simulation was used to verify both data and sequence integrity in a 256 MB SDRAM. The initial step is to examine the underlying equivalence-checking engine and then explain how it is applied to SDRAM verification. SDRAM verification is interesting in that it captures both memory and sequence verification. The data integrity verification is valid for any type of memory structure and the sequence integrity can be extended to many types of sequenced machines.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 2001 IEEE International Workshop on Memory Technology, Design and Testing

自引率

0.00%

发文量