Towards Automated Refinement of TLM Properties to RTL.

Vladimir Herdt Hoang M. Le Daniel Große Rolf Drechsler

Published in: MBMV (2018)

Keyphrases

fully automated
desirable properties
data sets
machine learning
genetic algorithm
wide range
data driven
computer aided
computer assisted