Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification
Supervised Learning for Coverage-Directed Test Selection in Simulation-Based Verification
复制标题
基于模拟的验证中针对覆盖范围的测试选择的监督学习
DOI：
10.1109/aitest55621.2022.00012
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Masamba N
中科院分区：
文献类型：
--
作者：
Masamba N
功能覆盖数据的孔洞分析
DOI：
--
发表时间：
2002
期刊：
Proceedings - Design Automation Conference
影响因子：
--
作者：
Oded Lachish;E. Marcus;S. Ur;A. Ziv
通讯作者：
A. Ziv
使用 ILP 实现基于仿真的设计验证自动化
DOI：
--
发表时间：
2007
期刊：
International Conference on Inductive Logic Programming
影响因子：
--
作者：
K. Eder;Peter A. Flach;Hsiou
通讯作者：
Hsiou