NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking.

Guangyu Hu Wei Zhang Hongce Zhang

Published in: MLCAD (2023)

Keyphrases

model checking
neural network
verification method
learning algorithm
search space
dynamic programming
np hard
temporal logic
computational complexity
formal specification
optimal solution
markov decision processes
deterministic finite automaton