Coverage directed test generation for functional verification using bayesian networks
Proceedings of the 40th annual Design Automation Conference
Functional test selection based on unsupervised support vector analysis
Proceedings of the 45th annual Design Automation Conference
Towards Automating Simulation-Based Design Verification Using ILP
Inductive Logic Programming
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Automatic assertion extraction via sequential data mining of simulation traces
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Online selection of effective functional test programs based on novelty detection
Proceedings of the International Conference on Computer-Aided Design
| Hi-index | 0.00 |