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

Article CLOSED
Nicola Bombieri; Franco Fummi; Graziano Pravadelli; Sara Vinco;
(2009)
Share - Bookmark