a framework for hardware/software co-design of embedded systems
Tip: save a pointer to
this page into your bookmarks, so that you don't have to submit
the form again to get updated versions.
Each installation kit contains the source or binary files for
You will also need to download
the currently supported front-end of POLIS.
Other tools that you may want to also
download are Ptolemy Classic,
for co-simulation (strongly recommended; you will need the full distribution,
since ptrim unfortunately is not sufficient, and Polis will not work with Ptolemy II), and
VIS, for formal verification.
If you are in Europe, and you are using the U.S. WWW server,
you may want to check our
European mirror FTP site .
If you are in the U.S., and you are using the European WWW server,
you may want to check our
U.S. mirror FTP site .
Currently, you can download POLIS for the following platforms:
Alternatively, you can download the (smaller)
source code and compile it on your own.
The compilation process should be relatively straightforward on any
BSD-compatible system (either with the native compiler, pre-ANSI or ANSI,
or with gcc). System
dependencies are concentrated in a few areas, thus making the porting task to a
new OS or CPU easier. Please, contact us in case you have any
Some useful documentation can be found in:
Problems, questions, bug reports, comments and so on should be sent to
When reporting a problem or bug, please include:
We will do our best to fix the bugs as soon as possible, but we cannot
- the version of POLIS and the CPU/OS type,
- a brief description of the symptoms (incorrect behavior, core dump, etc),
including if possible a terminal session log,
- a complete minimal set of specification files (Esterel, SHIFT, ...)
necessary to reproduce the bug (tar, compress and uuencode them, if possible).
There is also a mailing list for discussions among the users of polis. At this
point there are more than 1000 names on the list. The list is moderated by
POLIS group. If the question or comment is relevant to the general POLIS users,
your e-mail will be forwarded to the list.
The following organizations have contributed to the development of the
software included in this distribution:
- University of California, Berkeley, CA
- Cadence Berkeley Labs of Cadence Design Systems Inc., Berkeley, CA
- Magneti Marelli, Torino and Pavia, I
- Politecnico di Torino, Torino, I
- Hitachi Ltd., Tokyo, JP
- Daimler Benz GMBH, Berlin, DE
- Centro Studi e Laboratori di Telecomunicazioni, Torino, I
- NEC C&C Research Labs, Princeton, NJ