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 apos;04. Proceedings. Second ACM and IEEE International Conference on
Volume , Issue , 23-25 June 2004 Page(s): 153 - 154
Digital Object Identifier   10.1109/MEMCOD.2004.1459842
Summary: 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.

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.