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

Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco

Browse the full DATE paper archive.