MICROELECTRONIC SYSTEMS NEWS
FILENUMBER: 9161
BEGIN_KEYWORDS
POLIS Embedded System Co-Design Software
END_KEYWORDS
DATE: september 1996
TITLE: POLIS: Embedded System Co-Design Software
POLIS: Embedded System Co-Design Software
Dear colleague,
It is our pleasure to announce the public availability the
POLIS co-design environment for control-dominated embedded systems.
POLIS offers an integrated interactive environment for specification,
co-simulation, formal verification, and synthesis of embedded systems
implemented as a mix of hardware and software components.
Most of the information about POLIS, including pointers to source and object
code (for various CPUs and OSes) is available at WWW.
The software is available under the usual copyright.
If you are interested, but do not have WEB access,
please contact us via e-mail at polis@ic.eecs.berkeley.edu.
Best regards, the POLIS team:
(currently including Felice Balarin, Massimiliano Chiodo, Alberto Ferrari,
Paolo Giusto, Harry Hsieh, Attila Jurecska, Marcello Lajolo, Luciano Lavagno,
Claudio Passerone, Claudio Sansoe', Ellen Sentovich, Marco Sgroi, Kei Suzuki,
Bassam Tabbara, Reinhard von Hanxleden, and Alberto Sangiovanni-Vincentelli)
-------------------------------------------------------------
Luciano Lavagno +39-11-564-4150 (fax 4099) lavagno@polito.it
Dip. di Elettronica, Politecnico, C. Duca degli Abruzzi 24, 10129 Torino, ITALY
Aug 96 - Dec 96: +1-408-428-5326 (fax +1-510-486-0205) luciano@cadence.com
Cadence Berkeley Labs, 1919 Addison St. #303-304, Berkeley - CA 94704-1144
luciano
lavagno
-------------------------------------------------------------
dbouldin@utk.edu