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

researchr

You are not signed in
Sign in
Sign up

Nicola Bombieri, Franco Fummi, Graziano Pravadelli, Sara Vinco. Correct-by-construction generation of device drivers based on RTL testbenches. In Design, Automation and Test in Europe, DATE 2009, Nice, France, April 20-24, 2009. pages 1500-1505, IEEE, 2009. [doi]

This author has not been identified. Look up 'Nicola Bombieri' in GoogleThis author has not been identified. Look up 'Franco Fummi' in GoogleThis author has not been identified. Look up 'Graziano Pravadelli' in GoogleThis author has not been identified. Look up 'Sara Vinco' in Google

runs on WebDSL