Name
Title | ||
|---|---|---|
The Verification Cockpit - Creating the Dream Playground for Data Analytics over the Verification Process. |
Abstract | ||
|---|---|---|
The Verification Cockpit (VC) is a consolidated platform for planning, tracking, analysis, and optimization of large scale verification projects. Its prime role is to provide decision support from planning to on-going operations of the verification process. The heart of the VC is a holistic centralized data model for the arsenal of verification tools used in modern verification processes. This enables connection of the verification tools and provides rich reporting capabilities as well as hooks to advanced data analytics engines. This paper describes the concept of the Verification Cockpit, its architecture, and implementation. We also include examples of its use in the verification of a high-end processor, while highlighting the capabilities of the platform and the benefits of its use. |
Year | Venue | Field |
|---|---|---|
2015 | Haifa Verification Conference | Prime (order theory),Architecture,Software engineering,Data analysis,Computer science,Decision support system,Real-time computing,Human–computer interaction,Cockpit,Data model |
DocType | Citations | PageRank |
Conference | 2 | 0.43 |
References | Authors | |
2 | 12 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Moab Arar | 1 | 3 | 1.45 |
| Michael Behm | 2 | 25 | 2.67 |
| Odellia Boni | 3 | 7 | 2.58 |
| Raviv Gal | 4 | 2 | 0.43 |
| A. Goldin | 5 | 40 | 3.69 |
| Maxim Ilyaev | 6 | 2 | 0.43 |
| Einat Kermany | 7 | 65 | 5.62 |
| John R. Reysa | 8 | 2 | 0.43 |
| Bilal Saleh | 9 | 2 | 1.10 |
| Klaus-Dieter Schubert | 10 | 12 | 3.19 |
| G. Shurek | 11 | 285 | 42.50 |
| Avi Ziv | 12 | 465 | 72.49 |