Online Constraints Update Using Machine Learning for Accelerating Hardware Verification.
Mostafa AboelMagedMaggie MashalyMohamed A. Abd El GhanyPublished in: NILES (2021)
Keyphrases
- machine learning
- real time
- online learning
- hardware and software
- low cost
- computer vision
- feature selection
- model checking
- hardware designs
- explanation based learning
- hardware implementation
- embedded systems
- inductive learning
- inductive logic programming
- constraint satisfaction
- learning systems
- knowledge acquisition
- text classification
- decision trees
- reinforcement learning
- data structure
- pattern recognition
- data analysis
- information extraction
- natural language processing
- learning algorithm
- statistical methods
- computational intelligence
- machine learning algorithms
- computer systems
- image processing
- vlsi implementation
- verification method
- artificial intelligence