Correct-by-construction generation of device drivers based on RTL testbenches.

Nicola Bombieri Franco Fummi Graziano Pravadelli Sara Vinco

Published in: DATE (2009)

Keyphrases

generation process
clustering algorithm
decision trees
key factors
car navigation
neural network
machine learning
learning algorithm
computer vision