Interdisciplinary, intercontinental project (10 institutions in 5 countries)
Goal:
Design methodologies: abstraction levels, design
problem formulations
EDA: formal methods for automatic synthesis and
verification,
a modeling mechanism:
heterogeneous semantics, concurrency
Primary
thrusts:
Metropolis Meta Model:
Building blocks for modular descriptions of
heterogeneous semantics
The internal modeling mechanism for function, architecture, &
constraints
Design Methodology:
Multi-media digital systems
Wireless communication
Fault-tolerant automotive systems
Microprocessors
Formal Methods