Efficient Sequence Generation for Hardware Verification Using Machine Learning.
Muhammad GadMostafa AboelMagedMaggie MashalyMohamed A. Abd El GhanyPublished in: ICECS (2021)
Keyphrases
- machine learning
- real time
- learning algorithm
- explanation based learning
- machine learning algorithms
- decision trees
- computationally expensive
- low cost
- information extraction
- formal verification
- computing power
- inductive learning
- machine learning methods
- computer systems
- support vector machine
- image processing
- feature selection
- artificial intelligence
- data sets