Automated Test Generation for Activation of Assertions in RTL Models.

Yangdi Lyu Prabhat Mishra

Published in: ASP-DAC (2020)

Keyphrases

test generation
open source
test cases
pattern matching
high quality
computer vision
knowledge base
image processing
training data
complex systems