This paper describes our experience in debugging of DDGEN generated device driver code.
This paper describes a methodology for automatically generating device drivers for embedded systems.