|
1. |
Designers want proofs - but show me the money
Pixley, C.; Meyers, D.; McMaster, S.; Chittor, A.;
Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on
23-25 June 2004
Page(s):153
-
154
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.
|
Cart
