DDGen : An automated device driver generator. The tool helps to capture the device(IC) and software (run time) specifications in a formal manner.
Device Driver Generator (DDGen)
Device Driver Generator(DDGen) is a software tool designed for Embedded System Developers and IC design engineers to automate device driver and firmware development. As of today, there is no competing product in the market.
The tool helps semiconductor companies by enforcing the right development framework across design flows by providing a higher level of abstraction for device and run time environment specification.
DDGen methodology, is based on the formal high-level specifications for the device (IC) and the run time environment (software and system) details. These specifications are used as input to the tool, DDGen (code synthesis tool), to generate ANSI C compliant device driver and firmware code.
FEATURES
Driver frameworks: Linux, WinCE, VxWorks, MCAL
Bare metal drivers with a ready framework to quickly support other operating system-specific driver frameworks.
Any class of embedded devices such as Ethernet, USB, Communication, memory, or any control type of devices including DMA controller, etc.
Customization of the code generated by the tool by the end user.
Building a custom code generator using the information captured in the DPS
Supports PSS as input
RTS (Run Time Specification) allows the capture of the software and systems specification of the driver environment
Automated Test case generation for driver testing
Register map RTL generated in Verilog
BENEFITS
3X productivity gain for firmware and device driver development
Almost 95% automated & correct by construction – driver code
4x-6x lesser effort for new board /OS
10x faster support for derivation boards or different OS
Allows true code re-use across ( IC and SW) teams
Semiconductor, OEM/ODM firms can lower customer support efforts by deploying the tool as the first line of support
Related Resource
DDGen : An automated device driver generator. The tool helps to capture the device(IC) and software (run time) specifications in a formal manner.
This video shows a demo of device driver generated by DDGen, using USB3.0 as the device. Please visit www.vayavyalabs.com for more information.
A 101 Guide for Driver Developers on Path-Sensitive Analysis and State Tracking
Sparse enforces kernel pointer annotations GCC ignores. Catch __user, __iomem & endianness bugs early. A practical guide for Linux driver developers.
Static analysis helps you catch issues like type mismatches, memory leaks, null pointer dereferences, and incorrect API usage before your code runs.