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.
|©2002-2018 U.C. Regents|