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 :
بازگشت