Interdisciplinary,
intercontinental project
10
institutions in 5 countries
Goal:
Design
methodologies:
abstraction
levels,
design
problem formulations
EDA
formal
methods for automatic synthesis and verification,
modeling
mechanism: heterogeneous semantics, concurrency