• DocumentCode
    3082722
  • Title

    State of the art verification methodologies in 2015

  • Author

    Crone, A. ; Bringmann, Oliver ; Chevallaz, Christophe ; Dickman, B. ; Esen, Volkan ; Rohleder, M.

  • fYear
    2011
  • fDate
    14-18 March 2011
  • Firstpage
    1
  • Lastpage
    1
  • Abstract
    Summary form only given. In the last few years, the industry has seen acceleration in the evolution of verification methodologies. While the industry focus has been on enabling a standard based approach to help today´s challenges, one can wonder what is needed to prepare us self for the further verification challenges. The expert panelist will discuss the many aspects of verification methodologies, the requirements and predictions for verification methodologies needed 4-5 years from now on.
  • Keywords
    formal verification; State of the art verification methodologies;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Design, Automation & Test in Europe Conference & Exhibition (DATE), 2011
  • Conference_Location
    Grenoble
  • ISSN
    1530-1591
  • Print_ISBN
    978-1-61284-208-0
  • Type

    conf

  • DOI
    10.1109/DATE.2011.5763215
  • Filename
    5763215