Welcome to IEEE Xplore 2.0: Designers want proofs

Cart | Sitemap | Help

Abstract


	BROWSE	SEARCH	IEEE XPLORE GUIDE	SUPPORT

View TOC

Designers want proofs - but show me the money
Pixley, C. Meyers, D. McMaster, S. Chittor, A.
Synopsys Inc., Mountain View, CA, USA;

This paper appears in: Formal Methods and Models for Co-Design, 2004. MEMOCODE '04. Proceedings. Second ACM and IEEE International Conference on
Publication Date: 23-25 June 2004
On page(s): 153- 154
ISSN:
ISBN: 0-7803-8509-8
INSPEC Accession Number: 8701901
Digital Object Identifier: 10.1109/MEMCOD.2004.1459842
Current Version Published: 2005-07-05

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.

Index Terms
Available to subscribers and IEEE members.

References
Available to subscribers and IEEE members.

Citing Documents
Available to subscribers and IEEE members.

You are not logged in.

Guests may access Abstract records free of charge.