Optimizing Design Verification using Machine Learning: Doing better than Random.
William HughesSandeep SrinivasanRohit SuvarnaMaithilee KulkarniPublished in: CoRR (2019)
Keyphrases
- machine learning
- knowledge engineering
- machine learning methods
- data mining
- knowledge acquisition
- computer aided
- artificial intelligence
- feature selection
- pattern recognition
- building blocks
- knowledge representation
- functional verification
- inductive learning
- model checking
- learning systems
- semi supervised learning
- software development
- database
- case study
- learning algorithm
- genetic algorithm
- real world
- databases