Downloads

__This paper describes the power management framework used in Linux.

__Content streaming by deploying adaptive streaming

__This paper describes the requirement for deployment of Adaptive Streaming for today’s consumer and device manufacturer needs.

__Keynote talk at Workshop on Hardware Dependent Software Solutions for SOC Design, DATE 2011

__This presentation discusses the motivation for automated synthesis of embedded software, describes the device driver generation tool DDGEN in details and also presents some of the challenges and directions for future work.

__DDGEN: An Automated Device Driver Generation Tool for Embedded Systems

__This paper describes a methodology for automatically generating device drivers for embedded systems. We formally specify the device behavior and attributes in an input specification called DPS (Device programming sequence). Software architecture considerations are similarly captured in another specification called RTS (Run time specification). Our tool, DDGEN takes both these specifications as input and generates a full-fledged device driver code for the target operating system. In this paper, we discuss DPS, RTS and the DDGEN synthesis engine. We also argue about the productivity benefits resulting due to the increased level of abstraction and effective separation of thehardware and the software concerns.

__Case Study on Debugging of DDGEN Generated Device Driver Code

__This paper describes our experience in debugging of DDGEN generated device driver code. DDGEN generates device driver code in C from a high-level device specification (DPS) and the corresponding software architecture specification (RTS) as input. Unlike the usual development methodologies where debugging is typically performed at the same level as the input specification1, in DDGEN based methodology, we debug the generated C code and not the DPS or RTS. Fixing of the bug mostly involves modifying the input specification (DPS or RTS). Our case study consisting of specific examples of debugging as well as the debugging guidelines presented in this paper will ensure that a DDGEN user can efficiently as well as effectively debug generated C code and further map the fix back to DPS or RTS.

__DeMystifying DDGEN

__This presentation goes under the hood of DDGEN and explains how DDGEN synthesizes device driver code in C from the DPS and RTS specifications using USB device controller as the motivating example.

__On Extending IPXACT for Device Driver Software Generation

Stay tuned for more whitepapers…