Correct-by-Construction Generation of Device Drivers Based on RTL Testbenches

Provided by: edaa
Topic: Hardware
Format: PDF
The generation of device drivers is a very time consuming and error prone activity. All the strategies proposed up to now to simplify this operation require a manual, even formal, specification of the device driver functionalities. In the system-level design, IP functionalities are tested by using test-benches, implemented to contain the communication protocols to correctly interact with the device. The aim of this paper is to present a methodology to automatically generate device drivers from the test-bench of any RTL IP. The only manual step required is to tag the states corresponding to the different device functionalities.

Find By Topic