• DocumentCode
    3461243
  • 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
  • fYear
    2004
  • fDate
    23-25 June 2004
  • Firstpage
    153
  • Lastpage
    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.
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/MEMCOD.2004.1459842
  • Filename
    1459842
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3461243