Core Design Technology for Complex Heterogeneous Systems

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