Feedback-Guided Circuit Structure Mutation for Testing Hardware Model Checkers.

Chengyu Zhang Minquan Sun Jianwen Li Ting Su Geguang Pu

Published in: ICCAD (2021)

Keyphrases

hierarchical structure
probabilistic model
real time
formal model
evolutionary algorithm
computational model
mathematical model
data sets
experimental data
statistical model
theoretical framework
high level
neural network
theoretical analysis
relevance feedback
network structure
digital circuits