Automatic generation of device drivers

Qing-li, Zhang; Zhu, Ming-Yuan; Chen, Shuoying

doi:10.1145/885638.885649

Cited by 7 publications

(4 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Through high-level specification such as DSL, a synthesis tool automatically generates the device-driver code. Some approaches, as described in [21][22][23][24][25][26][27], propose the automatic generation of a device driver. However, one common drawback of applying this technique to the device driver is that the HdS is not completely generated.…”

Section: Related Workmentioning

confidence: 99%

See 1 more Smart Citation

Towards a greater reliability of driver/device communication around the system life cycle through a contract‐based protocol specification

Macieira

Barros

2017

IET cyber-phys. syst.

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

“…1, pp. [11][12][13][14][15][16][17][18][19][20][21][22][23] This is an open access article published by the IET under the Creative Commons Attribution-NonCommercial-NoDerivs License (http://creativecommons.org/licenses/by-nc-nd/3.0/) further challenge is revealed, since it is necessary to verify the two domains together.…”

Section: Introductionmentioning

confidence: 99%

Towards a greater reliability of driver/device communication around the system life cycle through a contract‐based protocol specification

Macieira

Barros

2017

IET cyber-phys. syst.

View full text Add to dashboard Cite

“…The design trade-off between the performance of a driver and the design of IO registers has not so far been explored. Previous studies in [1,5,9] attempt to provide domain-specific languages to simplify drive code writing and improve code reliability. The work in [7] tries to maximize source portability across various platforms.…”

Section: Introductionmentioning

confidence: 99%

A hardware/software codesign approach for programmable IO devices

Lin

Huang

Chen

2005

Proceedings of the 15th ACM Great Lakes Symposium on VLSI

View full text Add to dashboard Cite

This work presents a new HW/SW codesign approach for programmable controllers (ICs or IPs) managing IO devices. A novel cost function is defined to evaluate a device driver's performance and formulate its exact minimization as a zero-one integer linear programming problem. The cost function is used to explore the design trade-off between the code performance of a device driver and the number of programmable registers in an IO controller. This work proposes a heuristic algorithm based on the cost function, which iteratively minimizes the software cost until the hardware constraint is violated. The proposed algorithm was implemented in C language and evaluated with a set of real devices. Compared with original designs, the proposed approach can obtain design alternatives that reduce both software and hardware costs.

show abstract

“…F. Merillon et al [8] address the automatic synthesis of such low-level codes from a higher level specification, called as Devil language. Recent works [1,9,10] extend the language's descriptive capability and try to automatically synthesize more dedicated parts of a device driver. P. Chou et al [2] propose an interface HW/SW cosynthesis work, which synthesizes driver codes as well as glue hardware logic to connect I/O controllers.…”

Section: Registersmentioning

confidence: 99%

Optimal Allocation of I/O Device Parameters in Hardware and Software Codesign Methodology

Lin

Huang

Chen

Embedded and Ubiquitous Computing

View full text Add to dashboard Cite

Abstract. For a programmable I/O device controller, the allocation of device parameters on I/O registers affects the code size and execution time of its associated I/O device driver. In traditional design flow, the development of device drivers can not begin until the allocation is fixed. This paper presents a new design methodology that allows a designer to seek an allocation that reduces the software or hardware cost concurrently with developing device drivers. The software cost means the code size or execution time and the hardware cost the number of I/O registers. The exact allocation with the minimum cost under constraints is formulated as zero-one integer linear programming problem. Heuristic algorithms based on iterative refinement are also proposed. The proposed design methodology was implemented in C language. Compared with current industrial designs, the approach can obtain design alternatives that reduce both software and hardware costs. Furthermore, the experimental results also investigate design spaces for various application features. It turns out that the HW/SW codesign approach is favorable in development of embedded systems.

show abstract

Automatic generation of device drivers

Cited by 7 publications

References 4 publications

Towards a greater reliability of driver/device communication around the system life cycle through a contract‐based protocol specification

Towards a greater reliability of driver/device communication around the system life cycle through a contract‐based protocol specification

A hardware/software codesign approach for programmable IO devices

Optimal Allocation of I/O Device Parameters in Hardware and Software Codesign Methodology

Contact Info

Product

Resources

About