- Moab Arar14,
- Michael Behm15,
- Odellia Boni14,
- Raviv Gal14,
- Alex Goldin14,
- Maxim Ilyaev14,
- Einat Kermany14,
- John Reysa15,
- Bilal Saleh14,
- Klaus-Dieter Schubert16,
- Gil Shurek14 &
- …
- Avi Ziv14
Part of the book series:Lecture Notes in Computer Science ((LNPSE,volume 9434))
Included in the following conference series:
978Accesses
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.
This is a preview of subscription content,log in via an institution to check access.
Access this chapter
Subscribe and save
- Get 10 units per month
- Download Article/Chapter or eBook
- 1 Unit = 1 Article or 1 Chapter
- Cancel anytime
Buy Now
- Chapter
- JPY 3498
- Price includes VAT (Japan)
- eBook
- JPY 5491
- Price includes VAT (Japan)
- Softcover Book
- JPY 6864
- Price includes VAT (Japan)
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Test templates are definitions provided to stimuli generators or test-benches for generation of random tests. Test templates are sometimes called test definitions or simply tests.
References
Azatchi, H., Fournier, L., Marcus, E., Ur, S., Ziv, A., Zohar, K.: Advanced analysis techniques for cross-product coverage. IEEE Trans. Comput.55(11), 1367–1379 (2006)
Birnbaum, A., Fournier, L., Mittermaier, S., Ziv, A.: Reverse coverage analysis. In: Eder, K., Lourenço, J., Shehory, O. (eds.) HVC 2011. LNCS, vol. 7261, pp. 190–202. Springer, Heidelberg (2012)
Carter, H.B., Hemmady, S.G.: Metric Driven Design Verification: An Engineer’s and Executive’s Guide to First Pass Success. Springer, New York (2007)
Chen, W., Wang, L.C., Bhadra, J., Abadir, M.: Simulation knowledge extraction and reuse in constrained random processor verification. In: Proceedings of the 50th Annual Design Automation Conference, DAC 2013, pp. 120:1–120:6, June 2013
Copty, S., Fine, S., Ur, S., Yom-Tov, E., Ziv, A.: A probabilistic alternative to regression suites. Theor. Comput. Sci.404(3), 219–234 (2008)
Farkash, M., Hickerson, B., Behm, M.: Coverage learned targeted validation for incremental HW changes. In: Proceedings of the 51st Annual Design Automation Conference on Design Automation Conference, pp. 57:1–57:6, June 2014
Fine, S., Ziv, A.: Coverage directed test generation for functional verification using Bayesian networks. In: Proceedings of the 40th Design Automation Conference, pp. 286–291, June 2003
Guo, Q., Chen, T., Chen, Y., Wang, R., Chen, H., Hu, W., Chen, G.: Pre-silicon bug forecast. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.33(3), 451–463 (2014)
Hajjar, A., Chen, T., Munn, I., Andrews, A., Bjorkman, M.: High quality behavioral verification using statistical stopping criteria. In: Proceedings of the 2001 Design, Automation and Test in Europe Conference, pp. 411–418, March 2001
Ioannides, C., Barrett, G., Eder, K.: Feedback-based coverage directed test generation: an industrial evaluation. In: Barner, S., Harris, I., Kroening, D., Raz, O. (eds.) HVC 2010. LNCS, vol. 6504, pp. 112–128. Springer, Heidelberg (2010)
Marz, N., Warren, J.: Big Data: Principles and Best Practices of Scalable Realtime Data Systems. Manning Publications, Westampton (2015)
Ponniah, P.: Data Warehousing Fundamentals for IT Professionals, 2nd edn. Wiley, Hoboken (2010)
Runkler, T.A.: Data Analytics - Models and Algorithms for Intelligent Data Analysis. Springer, Wiesbaden (2012)
Saaksvuori, A., Immonen, A.: Product Lifecycle Management, 3rd edn. Springer, Heidelberg (2010)
Schubert, K.D., et al.: Solutions to IBM POWER8 verification challenges. IBM J. Res. Dev.59(1), 1–17 (2015)
Schubert, K.D., et al.: Functional verification of the IBM POWER7 microprocessor and POWER7 multiprocessor systems. IBM J. Res. Dev.55(3), 308–324 (2011)
Wikipedia: Data analysis – Wikipedia, the free encyclopedia (2014).http://en.wikipedia.org/wiki/Data_analysis. Accessed 29 October 2014
Incisive enterprise manager.http://www.cadence.com/products/sd/enterprise_manager/pages/default.aspx. Accessed 19 July 2015
Questa verification management.http://www.mentor.com/products/fv/questa-verification-management/. Accessed 19 July 2015
VCS.http://www.synopsys.com/Tools/Verification/FunctionalVerification/Pages/VCS.aspx. Accessed 19 July 2015
IBM - rational insight.http://www-03.ibm.com/software/products/en/rtl-insight. Accessed 21 July 2015
The people, places, history, and ideas behind Jazz.https://jazz.net/story/about/. Accessed 19 July 2015
What is OSLC?http://open-services.net/resources/tutorials/oslc-primer/what-is-oslc/. Accessed 19 July 2015
Unified coverage interoperability standard (UCIS).http://accellera.org/images/downloads/standards/ucis/UCIS_Version_1.0_Final_June-2012.pdf. Accessed 19 July 2015
Author information
Authors and Affiliations
IBM Research, Haifa, Israel
Moab Arar, Odellia Boni, Raviv Gal, Alex Goldin, Maxim Ilyaev, Einat Kermany, Bilal Saleh, Gil Shurek & Avi Ziv
IBM Systems, Austin, TX, USA
Michael Behm & John Reysa
IBM Systems, Boeblingen, Germany
Klaus-Dieter Schubert
- Moab Arar
You can also search for this author inPubMed Google Scholar
- Michael Behm
You can also search for this author inPubMed Google Scholar
- Odellia Boni
You can also search for this author inPubMed Google Scholar
- Raviv Gal
You can also search for this author inPubMed Google Scholar
- Alex Goldin
You can also search for this author inPubMed Google Scholar
- Maxim Ilyaev
You can also search for this author inPubMed Google Scholar
- Einat Kermany
You can also search for this author inPubMed Google Scholar
- John Reysa
You can also search for this author inPubMed Google Scholar
- Bilal Saleh
You can also search for this author inPubMed Google Scholar
- Klaus-Dieter Schubert
You can also search for this author inPubMed Google Scholar
- Gil Shurek
You can also search for this author inPubMed Google Scholar
- Avi Ziv
You can also search for this author inPubMed Google Scholar
Corresponding author
Correspondence toRaviv Gal.
Editor information
Editors and Affiliations
University of Leicester, Leicester, United Kingdom
Nir Piterman
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Arar, M.et al. (2015). The Verification Cockpit– Creating the Dream Playground for Data Analytics over the Verification Process. In: Piterman, N. (eds) Hardware and Software: Verification and Testing. HVC 2015. Lecture Notes in Computer Science(), vol 9434. Springer, Cham. https://doi.org/10.1007/978-3-319-26287-1_4
Download citation
Published:
Publisher Name:Springer, Cham
Print ISBN:978-3-319-26286-4
Online ISBN:978-3-319-26287-1
eBook Packages:Computer ScienceComputer Science (R0)
Share this paper
Anyone you share the following link with will be able to read this content:
Sorry, a shareable link is not currently available for this article.
Provided by the Springer Nature SharedIt content-sharing initiative