Designers want proofs - but show me the money

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

引用次数: 0

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.

查看原文本刊更多论文

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

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

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

求助全文

约1分钟内获得全文求助全文

来源期刊

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

自引率

0.00%

发文量