教导未来的验证工程师:逻辑设计被遗忘的一面

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232) Pub Date : 2001-06-22 DOI:10.1145/378239.378477

F. Özgüner, D. Marhefka, J. DeGroat, Bruce Wile, Jennifer Stofer, Lyle Hanrahan

{"title":"教导未来的验证工程师:逻辑设计被遗忘的一面","authors":"F. Özgüner, D. Marhefka, J. DeGroat, Bruce Wile, Jennifer Stofer, Lyle Hanrahan","doi":"10.1145/378239.378477","DOIUrl":null,"url":null,"abstract":"This paper describes a senior/graduate level course in hardware logic verification being offered by The Ohio State University in cooperation with IBM. The need for the course is established through the growing importance of logic verification to users of custom logic designs. We discuss the short-term and long-term goals for the course, and describe the course content and format. The course relies heavily on lab projects to illustrate the main concepts. Three projects and a final project review are described.","PeriodicalId":154316,"journal":{"name":"Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2001-06-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Teaching future verification engineers: the forgotten side of logic design\",\"authors\":\"F. Özgüner, D. Marhefka, J. DeGroat, Bruce Wile, Jennifer Stofer, Lyle Hanrahan\",\"doi\":\"10.1145/378239.378477\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper describes a senior/graduate level course in hardware logic verification being offered by The Ohio State University in cooperation with IBM. The need for the course is established through the growing importance of logic verification to users of custom logic designs. We discuss the short-term and long-term goals for the course, and describe the course content and format. The course relies heavily on lab projects to illustrate the main concepts. Three projects and a final project review are described.\",\"PeriodicalId\":154316,\"journal\":{\"name\":\"Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2001-06-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1145/378239.378477\",\"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 of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1145/378239.378477","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

本文描述了俄亥俄州立大学与IBM合作开设的一门硬件逻辑验证的高级/研究生课程。对于自定义逻辑设计的用户来说，逻辑验证越来越重要，因此需要开设这门课程。我们讨论了课程的短期和长期目标，并描述了课程的内容和形式。本课程主要依靠实验项目来阐述主要概念。描述了三个项目和最后的项目评审。

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

查看原文本刊更多论文

Teaching future verification engineers: the forgotten side of logic design

This paper describes a senior/graduate level course in hardware logic verification being offered by The Ohio State University in cooperation with IBM. The need for the course is established through the growing importance of logic verification to users of custom logic designs. We discuss the short-term and long-term goals for the course, and describe the course content and format. The course relies heavily on lab projects to illustrate the main concepts. Three projects and a final project review are described.

求助全文

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

来源期刊

Proceedings of the 38th Design Automation Conference (IEEE Cat. No.01CH37232)

自引率

0.00%

发文量