Research
Enabling Automated Synthesis within Platform-based Design (2003 - Present)
To successfully apply the platform-based design methodology at the system level, the appropriate model of computation for both the functional and architectural models needs to be chosen. The models of computation and the common semantic domains in which they are represented impact the synthesis techniques that can be applied to these systems. This research develops requirements for metamodeling frameworks in which such systems are represented and also seeks to develop optimization approaches for specific models of computation. Case studies from the multimedia and automotive domains are being evaluated to accomplish these goals.
1. Multimedia Domain
- Applications
- JPEG encoder
- Motion JPEG encoder
- h.264 decoder
- Architectures
- Intel MXP5800
- Xilinx Virtex II Pro
- Optimization
- Mixed Integer Linear Programming for allocation and static
scheduling
- Algebraic Operators to explore application concurrency
2. Automotive Domain
- Applications
- Stability Control
- Advanced Concept Vehicle
- Architecture
- Optimization
- Geometric Programming to assign task and message periods
3. Building and Leveraging the Framework
- Design Space Exploration within the Metropolis framework
- Defining and implementing the Metropolis II Framework
- Deadlock detection and resolution
Summaries:
Part 1,
Part 2,
Part 3,
Part 4
Abstract of demo at DAC 2004 University Booth
Desynchronization (2003-2004)
- Clustering and timing analysis to reduce the overhead of transforming a
synchronous circuit into an asynchronous circuit
Summary
Sensor Networks (2002-2003)
- Low Power Network Discovery Methods
- Network-level design of Sensor Network protocols
Summaries:
Part 1,
Part 2
Dual-Vt and dual-Vdd for Low Power Circuit Design (2002-2003)
- Use Linear and Integer Linear Programming to assign thresholds and
supply voltages for low power
Summary
Mixed Signal Design (2001-2002)
Undergraduate research with Dr. Steven Levitan at the University of Pittsburgh