Metropolis Home
  Design Methodologies
  Platform-Based Design
  4/07 IEEE Article
  4/03 IEEE Article
  6/02 GSRC Presentations
  Private Forum

Metropolis: Design Environment for Heterogeneous Systems


Establishing formal design methodologies is imperative to effectively manage complex design tasks required in modern-date system designs. It involves defining levels of abstraction to formally represent systems being designed, as well as formulating problems to be addressed at and across the abstraction levels. This calls for a design environment in which systems can be unambiguously represented throughout the abstraction levels, the design problems can be mathematically formulated, and tools can be incorporated to solve some of the problems automatically. Developing such an environment is precisely the goal of Metropolis.

Metropolis consists of an infrastructure, a tool set, and design methodologies for various application domains. The infrastructure provides a mechanism such that heterogeneous components of a system can be represented uniformly and tools for formal methods can be applied naturally.


  • June 4, 2017 Download Metroplis-1.1.4
  • January 16, 2008 Download Metropolis-1.1.3
  • January 31, 2007 We are working on Metro II, which will have support importation of pre-designed intellectual property, separating cost from behavior when carrying out design and exploring the design space in a structured manner.
  • October 12, 2006 Download Metropolis-1.1.2
  • November 30, 2005
  • August 19, 2005
  • September 15, 2004
  • Learn more about the Metamodel
  • Learn more about the Tools
  • Learn more about the Design Methodologies
  • Learn more about Platform-Based Design

Publications and Presentations


  • Join the metropolis mailing list:
    metropolis at eecs berkeley edu is an external mailing list for discussion about metropolis.

    The Metropolis mailing list is run by the Majordomo mailing list server. This server can automatically subscribe you to mailing lists and it can send you monthly archive files for each of the lists. To find out more about our Majordomo sever, send an email message to: metropolis-request at eecs berkeley edu with the word help in the body of the message.

    To subscribe, email metropolis-request at eecs berkeley edu with the word subscribe in the body of the message.

    Public Mailing List Archive

  • Meet the people working on Metropolis
  • Visit the Polis web page

For Metropolis Workgroup Members:
  • Using svn to update this page
  • src
  • Private Forum
  •   Task List
For information on getting a Metropolis workgroup account, see

Last Edited: $Date: 2017-06-04 11:16:11 -0700 (Sun, 04 Jun 2017) $
©2002-2018 U.C. Regents