Author:
Porras Adrián Fallas,Alvarado Ernesto Rivera
Publisher
Springer Nature Switzerland
Reference55 articles.
1. IEEE Standard for Universal Verification Methodology Language Reference Manual. In: IEEE Std 1800.2-2020 (Revision of IEEE Std 1800.2-2017), pp. 1–458 (2020)
2. AboelMaged, M., Mashaly, M., Abd El Ghany, M.A.: Online constraints update using machine learning for accelerating hardware verification. In: 2021 3rd Novel Intelligent and Leading Emerging Sciences Conference (NILES), pp. 113–116 (2021)
3. Azatchi, H., Fournier, L., Ziv, A., Zohar, K.: Advanced analysis techniques for cross-product coverage. In: Tenth IEEE International High-Level Design Validation and Test Workshop 2005, 229–236 (2005)
4. Benjamin, M., Geist, D., Hartman, A., Wolfsthal, Y., Mas, G., Smeets, R.: A study in coverage-driven test generation. In: Proceedings 1999 Design Automation Conference (Cat. No. 99CH36361), pp. 970–975 (1999)
5. Braun, M., Fine, S., Ziv, A.: Enhancing the efficiency of Bayesian network based coverage directed test generation. In: Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940), pp. 75–80 (2004)