The verification cockpit – creating the dream playground for data analytics over the verification process

2Citations
Citations of this article
6Readers
Mendeley users who have this article in their library.
Get full text

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.

Cite

CITATION STYLE

APA

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

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free