Search: 
 
 

Tasks
Students
Papers
Demos
Posters
Talks

Core Design Technology for Complex Heterogeneous Systems

 These are the tasks of the core theme, as set forth in the 2006 GSRC Proposal.

Cluster 1.4.1:   Infrastructure
Task 1.4.1.1. -- Metropolis-II Framework
PI: Alberto Sangiovanni-Vincentelli
Task 1.4.1.2. -- MetroSPICE++ Hybrid Simulation Framework
PIs: Jaijeet Roychowdhury, Alberto Sangiovanni-Vincentelli
Task 1.4.1.3. -- System Scaling Theory for the Late Silicon Era: Density, Concurrency and Application Domain
PI: Andrew Kahng
Cluster 1.4.2:   Communication-Based Design
Task 1.4.2.1. -- Theory for the Synthesis of Communication
PI: Alberto Sangiovanni-Vincentelli
Task 1.4.2.2. -- Communication Synthesis Infrastructure
PI: Alberto Sangiovanni-Vincentelli
Task 1.4.2.3. -- Stochastic Methods for Communication-Based Design
PI: Radu Marculescu
Task 1.4.2.4. -- Correct-by-Construction Methods for the Integrated Design and Validation of Robust Gigascale Systems
PI: Luca Carloni
Cluster 1.4.3:   High-Level Design Capture, Synthesis and Verification
Task 1.4.3.1. -- Automatic Generation of Initial Concurrent Description from Sequential Software Description
PI: Wen-mei Hwu
Task 1.4.3.2. -- Functional Equivalence Verification of Transaction Level Models
PI: Daniel D. Gajski
Task 1.4.3.3. -- Generalized Synthesis Process for Platform-based Design
PI: Alberto Sangiovanni-Vincentelli
Task 1.4.3.4. -- Synthesis and Optimization of Application-Specific Processor Networks
PI: Jason Cong
Cluster 1.4.4:   Design Examples
Task 1.4.4.1. -- Industrial Test Cases
PI: Alberto Sangiovanni-Vincentelli
Task 1.4.4.2. -- System Level Design for Wireless Sensor Networks
PI: Alberto Sangiovanni-Vincentelli

 
You are not logged in
©1998-2008 GSRC