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
Link To Document