Contents

Metropolis: Design Environment for Heterogeneous Systems

Abstract

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.

Overview

• 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

• Read about Metropolis in:

  Alberto L. Sangiovanni-Vincentelli, Quo Vadis SLD: Reasoning about Trends and Challenges of System-Level Design, Proceedings of the IEEE, 95(3):467-506, March 2007.

• Metro II overview paper

  Abhijit Davare, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, Qi Zhu. A Next-Generation Design Framework for Platform-Based Design. Conference on Using Hardware Design and Verification Languages (DVCon), February, 2007.

• Read the Computer Magazine article about Metropolis (April 2003)
  
• See the overview presented at the June 2002 GSRC meeting at DAC (New Orleans)
• See all Metropolis-related publications and presentations
  
• Other Metropolis presentations such as DAC Overviews from other years.
• GSRC Workshop Presentations

Etcetera

• 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

• Using svn to update this page
• src
• Private Forum
•   Task List