Author:
Fine Shai,Fournier Laurent,Ziv Avi
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference33 articles.
1. Adir, A., Bin, E., Peled, O., Ziv, A.: Piparazzi: a test generator for micro-architecture flow verification. In: Proceedings of the High-Level Design Validation and Test Workshop, pp. 23–28, November 2003
2. 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)
3. Barker T.: Quality by Experimental Design. CRC, Boca Raton (1994)
4. Bergeron J.: Writing Testbenches: Functional Verification of HDL Models. Kluwer Academic Publishers, Dordrecht (2000)
5. Bin E., Emek R., Shurek G., Ziv A.: Using a constraint satisfaction formulation and solution techniques for random test program generation. IBM Syst. J. 41(3), 386–402 (2002)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Data Analytics and Machine Learning for Coverage Closure;Frontiers of Quality Electronic Design (QED);2022-09-06
2. Data-Centric Machine Learning Pipeline for Hardware Verification;2022 IEEE 35th International System-on-Chip Conference (SOCC);2022-09-05
3. Machine Learning in the Service of Hardware Functional Verification;Machine Learning Applications in Electronic Design Automation;2022