Title :
Designers want proofs - but show me the money
Author :
Pixley, Carl ; Meyers, Donald Fred ; McMaster, Steven ; Chittor, Aruna
Author_Institution :
Synopsys Inc., Mountain View, CA, USA
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.
Keywords :
formal verification; DesignWare component groups; Motorola; Synopsys; verification tools; Art; Companies; Debugging; Design automation; Design engineering; Emulation; Floating-point arithmetic; Formal verification; Logic design; Project management;
Conference_Titel :
Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on
Print_ISBN :
0-7803-8509-8
DOI :
10.1109/MEMCOD.2004.1459842
