Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco
Correct-by-construction generation of device drivers based on RTL testbenches
DATE, 2009.
@inproceedings{DATE-2009-BombieriFPV,
author = "Nicola Bombieri and Franco Fummi and Graziano Pravadelli and Sara Vinco",
booktitle = "{Proceedings of the 13th Conference on Design, Automation and Test in Europe}",
pages = "1500--1505",
publisher = "{IEEE}",
title = "{Correct-by-construction generation of device drivers based on RTL testbenches}",
year = 2009,
}