A Path-Based Equivalence Checking Method Between System Level and RTL Descriptions Using Machine Learning.
Jian HuYongyang HuQi LvWentao WangGuanwu WangGuilin ChenKang WangYun KangHaitao YangPublished in: J. Circuits Syst. Comput. (2021)
Keyphrases
- machine learning
- high accuracy
- machine learning methods
- experimental evaluation
- optimization method
- detection algorithm
- optimization algorithm
- unsupervised learning
- significant improvement
- model selection
- detection method
- probabilistic model
- clustering method
- high level
- synthetic data
- high precision
- classification accuracy
- cost function
- pixel level
- pairwise
- fully automatic
- computational complexity
- neural network
- method for automatically generating
- input data
- natural language processing
- support vector machine
- artificial neural networks
- preprocessing
- support vector
- computer vision
- artificial intelligence