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

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