Metropolis-1.0.2 Metropolis-1.0.2 is available for download. 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. February 17, 2005 Metropolis-1.0.2 released Metropolis-1.0.2 includes support for SystemC-2.1 and Cygwin. November 5, 2004 Metropolis-1.0.1 released. The only differences between the Metropolis 1.0 release and the Metropolis 1.0.1 release are minor updates to the documentation. September 15, 2004 Metropolis-1.0 released This first public release of Metropolis. |
| |||||||||||
Contact | |||||||||||
©2002-2018 U.C. Regents |