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.
CITATION STYLE
Arar, M., Behm, M., Boni, O., Gal, R., Goldin, A., Ilyaev, M., … Ziv, A. (2015). The verification cockpit – creating the dream playground for data analytics over the verification process. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9434, pp. 51–66). Springer Verlag. https://doi.org/10.1007/978-3-319-26287-1_4
Mendeley helps you to discover research relevant for your work.