设计师们想要证明——但让我看看钱

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Pub Date : 2004-06-23 DOI:10.1109/MEMCOD.2004.1459842

C. Pixley, D. Meyers, S. McMaster, A. Chittor

{"title":"设计师们想要证明——但让我看看钱","authors":"C. Pixley, D. Meyers, S. McMaster, A. Chittor","doi":"10.1109/MEMCOD.2004.1459842","DOIUrl":null,"url":null,"abstract":"This thesis shows that designers definitely do want proofs. The first author saw ample evidence of that at Motorola, where he managed a verification CAD group, and at Synopsys, where he was involved in verification tools, customers, and in verification projects with our DesignWare component groups. Our talk will discuss some success we had with our DesignWare team.","PeriodicalId":253853,"journal":{"name":"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.","volume":"19 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2004-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Designers want proofs - but show me the money\",\"authors\":\"C. Pixley, D. Meyers, S. McMaster, A. Chittor\",\"doi\":\"10.1109/MEMCOD.2004.1459842\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This thesis shows that designers definitely do want proofs. The first author saw ample evidence of that at Motorola, where he managed a verification CAD group, and at Synopsys, where he was involved in verification tools, customers, and in verification projects with our DesignWare component groups. Our talk will discuss some success we had with our DesignWare team.\",\"PeriodicalId\":253853,\"journal\":{\"name\":\"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.\",\"volume\":\"19 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2004-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/MEMCOD.2004.1459842\",\"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. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/MEMCOD.2004.1459842","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 0

摘要

本文表明，设计人员确实需要证明。第一作者在摩托罗拉(他管理一个验证CAD组)和Synopsys(他参与验证工具、客户和我们的DesignWare组件组的验证项目)看到了充分的证据。我们将讨论DesignWare团队取得的一些成功。

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

查看原文本刊更多论文

Designers want proofs - but show me the money

This thesis shows that designers definitely do want proofs. The first author saw ample evidence of that at Motorola, where he managed a verification CAD group, and at Synopsys, where he was involved in verification tools, customers, and in verification projects with our DesignWare component groups. Our talk will discuss some success we had with our DesignWare team.

求助全文

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

来源期刊

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2004. MEMOCODE '04.

自引率

0.00%

发文量