Scalable Concolic Testing of RTL Models.

Yangdi Lyu Prabhat Mishra

Published in: IEEE Trans. Computers (2021)

Keyphrases

statistical models
prior knowledge
parameter estimation
computational models
classification models
image sequences
multi agent systems
hidden markov models
test cases
highly scalable
accurate models