{"title":"基于知识的嵌入式内存模型生成与验证工具","authors":"P. Cheng","doi":"10.1109/ISQED.2008.35","DOIUrl":null,"url":null,"abstract":"Using memory models in a hardware-assisted acceleration/emulation environment, as contrasted with a software simulation environment, is often infused with some very specific problems. This paper describes a novel, yet reliable, methodology to capture the essential functionalities and timings, from a chip designer's perspective, of commonly used embedded memories. The captured data is placed in a structural template for creating a knowledge base, which is transformed into targeted hardware-ready memories. A testbench is also created to verify the new models against the original behavioral models. This methodology has been used for years in many real design projects with great success.","PeriodicalId":243121,"journal":{"name":"9th International Symposium on Quality Electronic Design (isqed 2008)","volume":"449 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-03-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A Knowledge-Based Tool for Generating and Verifying Hardware-Ready Embedded Memory Models\",\"authors\":\"P. Cheng\",\"doi\":\"10.1109/ISQED.2008.35\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Using memory models in a hardware-assisted acceleration/emulation environment, as contrasted with a software simulation environment, is often infused with some very specific problems. This paper describes a novel, yet reliable, methodology to capture the essential functionalities and timings, from a chip designer's perspective, of commonly used embedded memories. The captured data is placed in a structural template for creating a knowledge base, which is transformed into targeted hardware-ready memories. A testbench is also created to verify the new models against the original behavioral models. This methodology has been used for years in many real design projects with great success.\",\"PeriodicalId\":243121,\"journal\":{\"name\":\"9th International Symposium on Quality Electronic Design (isqed 2008)\",\"volume\":\"449 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-03-17\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"9th International Symposium on Quality Electronic Design (isqed 2008)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISQED.2008.35\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"9th International Symposium on Quality Electronic Design (isqed 2008)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISQED.2008.35","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Knowledge-Based Tool for Generating and Verifying Hardware-Ready Embedded Memory Models
Using memory models in a hardware-assisted acceleration/emulation environment, as contrasted with a software simulation environment, is often infused with some very specific problems. This paper describes a novel, yet reliable, methodology to capture the essential functionalities and timings, from a chip designer's perspective, of commonly used embedded memories. The captured data is placed in a structural template for creating a knowledge base, which is transformed into targeted hardware-ready memories. A testbench is also created to verify the new models against the original behavioral models. This methodology has been used for years in many real design projects with great success.