Author:
Gal Raviv,Ibraheem Wesam,Nevo Ziv,Saleh Bilal,Ziv Avi
Publisher
Springer International Publishing
Reference46 articles.
1. Aharoni, M., Asaf, S., Fournier, L., Koyfman, A., Nagel, R.: FPgen - a deep-knowledge test generator for floating point verification. In: Proceedings of the 8th High-Level Design Validation and Test Workshop, pp. 17–22 (2003)
2. Arar, M., et al.: The verification cockpit - creating the dream playground for data analytics over the verification process. In: Proceedings of the 11th Haifa Verification Conference, pp. 104–119 (2015)
3. Asaf, S., Marcus, E., Ziv, A.: Defining coverage views to improve functional coverage analysis. In: Proceedings of the 41st Design Automation Conference, pp. 41–44 (2004)
4. 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)
5. Birnbaum, A., Fournier, L., Mittermaier, S., Ziv, A.: Reverse coverage analysis. In: K. Eder, J. Lourenço, O. Shehory (eds.) Hardware and Software: Verification and Testing, pp. 190–202. Springer, Berlin, Heidelberg (2012)