 |
 |
 |
 |
 |
 |
 |
|
|
|
| THURSDAY, June 16, 2005, 2:00 PM - 4:00 PM | Room: 209AB | ||
|
TOPIC AREA: SYSTEM-LEVEL DESIGN AND VERIFICATION (tools) | ||
| SESSION 49 | |||
| Optimization Techniques in High-Level Synthesis | |||
| Chair: Matt Moe - Forte Design Systems, Pittsburgh, PA | |||
| Organizers: John Sanguinetti, Stephen Edwards | |||
| High Level Synthesis is fundamentally about optimizing the resulting design. The papers in this session cover a variety of optimization techniques from minimizing the bit width of data values to creating fault-tolerant biochips. Papers include a technique to minimize buffer requirements and a technique to efficiently analyze pointers in C source code. | |||
 49.1 |
Minimising Buffer Requirements of Synchronous Dataflow Graphs with Model-Checking |
||
| Speaker(s): | Sander Stuijk - Eindhoven Univ. of Technology, Eindhoven, Netherlands | ||
| Author(s): | Marc Geilen - Eindhoven Univ. of Technology, Eindhoven, Netherlands Twan Basten - Eindhoven Univ. of Technology, Eindhoven, Netherlands Sander Stuijk - Eindhoven Univ. of Technology, Eindhoven, Netherlands | ||
| 49.2 | Unified High-Level Synthesis and Module Placement for Defect-Tolerant Microfluidic Biochips | ||
| Speaker(s): | Fei Su - Duke Univ., Durham, NC | ||
| Author(s): | Fei Su - Duke Univ., Durham, NC Krishnendu Chakrabarty - Duke Univ., Durham, NC | ||
| 49.3 | Towards Scalable Flow and Context Sensitive Pointer Analysis | ||
| Speaker(s): | Jianwen Zhu - Univ. of Toronto, Toronto, ON, Canada | ||
| Author(s): | Jianwen Zhu - Univ. of Toronto, Toronto, ON, Canada | ||
| 49.4s | MiniBit: Bit-Width Optimization via Affine Arithmetic | ||
| Speaker(s): | Dong-U Lee - Imperial College, London, UK | ||
| Author(s): | Dong-U Lee - Imperial College, London, UK Altaf Abdul Gaffar - Imperial College, London, UK Oskar Mencer - Imperial College, London, UK Wayne Luk - Imperial College, London, UK | ||
| 49.5s | A Non-Parametric Approach for Dynamic Range Estimation of Nonlinear Systems | ||
| Speaker(s): | Bin Wu - Univ. of Toronto, Toronto, ON, Canada | ||
| Author(s): | Bin Wu - Univ. of Toronto, Toronto, ON, Canada Jianwen Zhu - Univ. of Toronto, Toronto, ON, Canada Farid N. Najm - Univ. of Toronto, Toronto, ON, Canada | ||
 | |||