Faculty
Tasks
Students
Papers
Demos
Posters
Talks
| Core Design Technology for Complex Heterogeneous Systems |
| |
Each of the above grand themes proposes to develop solutions addressing a
particular problem, such as power, concurrency, variability or
reliability, and brings together aspects from multiple communities such
as modeling, architecture exploration, design synthesis, verification,
test, etc. To do this successfully requires an underlying and common
design technology framework for complex heterogeneous systems, which can
be shared over technology domains and optimization targets. At GSRC, we
have expended considerable effort in developing the basic foundations for
such a framework under the Metropolis header. Yet, while we have made
major inroads, plenty of challenges remain to be resolved if we want to
successfully address the challenges raised in the first three themes.
More specifically, the following design needs can be
identified:
- Formal specifications that include declarative and operational
components expressed in continuous and discrete time domains.
- Design as a formally verified refinement process on a set of
consistent abstraction layers where appropriate interfaces are built to
handle heterogeneous signal domains, thereby ensuring vertical consistency.
- Optimized and automatic design space exploration with heterogeneous
implementation architectures.
- Mapping of functionality onto architectures exploiting
multi-processor optimized compilers, high-level hardware synthesis, and
automatic communication synthesis.
- Automatic extraction of architecture models with stochastic models to
capture uncertainties typical of nano-fabrics and mapping of
functionalities onto these architectures with optimization of expected
performance and cost.
- An integration framework based on formalized models where the design
process can be adaptively defined according to the application domain and
offering the opportunity to different constituencies to leverage each
other's work.
- An integrated roadmapping framework that allows for the projection of
the effectiveness of various circuit, architecture and system solutions
in future scaled technologies with respect to metrics such as cost,
performance and power. For instance, the increasing introduction of
yield-increasing on-line activities puts in question traditional metrics
such as area and cost.
This theme spans over the full timeline, and is in fact relevant for
system design at all levels of granularity.
| |
|
|
|
