Metropolis: an integrated electronic system design environment
Balarin, F.
Watanabe, Y.
Hsieh, H.
Lavagno, L.
Passerone, C.
Sangiovanni-Vincentelli, A.
Cadence Berkeley Labs., CA, USA;
This paper appears in: Computer
Publication Date: April 2003
Volume: 36,
Issue: 4
On page(s): 45- 52
ISSN: 0018-9162
INSPEC Accession Number: 7592396
Digital Object Identifier: 10.1109/MC.2003.1193228
Current Version Published: 2003-04-08
Abstract
Today, the design chain lacks adequate support, with most system-level designers using a collection of unlinked tools. The implementation then proceeds with informal techniques involving numerous human-language interactions that create unnecessary and unwanted iterations among groups of designers in different companies or different divisions. The move toward programmable platforms shifts the design implementation task toward embedded software design. When embedded software reaches the complexity typical of today's designs, the risk that the software will not function correctly increases exponentially. The Metropolis project seeks to develop a unified framework that can cope with this challenge. Based on a metamodel with formal semantics that developers can use to capture designs, Metropolis provides an environment for complex electronic-system design that supports simulation, formal analysis, and synthesis.
Index
Terms
Available to subscribers and IEEE members.
References
Available to subscribers and IEEE members.
Citing Documents
Available to subscribers and IEEE members.
Cart
