ANNOUNCEMENT: POLIS 0.4 Embedded System Framework now available 
Author Message
 ANNOUNCEMENT: POLIS 0.4 Embedded System Framework now available

Apologies in advance if you receive multiple copies of this message.

Dear colleague,

It is our pleasure to announce the public availability of the POLIS-0.4
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 our WEB site
http://www.*-*-*.com/ ~polis

The software is available under the usual copyright rules of the University
of California (see also
http://www.*-*-*.com/ :80/copyright.html ).

If you are interested, but do not have WEB access, please contact us via

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)

Release Notes: Version 0.4 November 10, 1999

The main changes are in the Ptolemy simulation interface, that now supports
multiple processors. In particular:
- the UC and PTLUC macros in the Makefile no longer pre-load the clock cycle
information for the selected processors. The information is loaded
dynamically at run time by Ptolemy (section 9.2).
- Each SW CFSM can be mapped to a different CPU, as selected by the
resourceName star parameter in Ptolemy (Section 6.1). RTOS and interface
CFSM synthesis does NOT understand that yet (multi-processor will be
supported in future releases). Section 6.1.5 (entitled "Upgrading netlists
produced by POLIS 0.3") lists other differences with respect to previous
versions. Please, read it before using Ptolemy on old (pre-0.4) designs.
- Simulation time is now in seconds, and all the standard Ptolemy testbench
stars can be used (section 6.1).
- Software estimates can be refined by using an Instruction Set Simulator
(an example ISS for the SPARC processor is included with the release; see
section 6.5).
- Power analysis (via simulation) can now be carried out (section 6.6).
- An instruction cache can now be simulated (section 6.7)
- Support for simulation and synthesis based on VHDL (behavi{*filter*}for
simulation, synthesizable for synthesis) is greatly enhanced (sections 6.3
and 6.4).
- A self-guiding tutorial on using formal verification techniques with POLIS
is now included, in directory $POLIS/examples/formal_verification.

To add/remove your name from the POLIS mailing list, please go to our home
page: http://www.*-*-*.com/ ~polis

Thank You.



Bassam Tabbara
Ph.D. Candidate
211-150 Cory Hall
EECS Department, U.C. Berkeley
Berkeley, CA 94720
Phone/Fax: (510) 643-5187 / (510) 643-5052
URL: http://www.*-*-*.com/ ~tbassam

Fri, 03 May 2002 03:00:00 GMT  
 [ 1 post ] 

 Relevant Pages 

1. ANNOUNCEMENT: POLIS 0.4 Embedded System Framework now available

2. ANNOUNCEMENT: POLIS 0.4 Embedded System Framework

3. ANNOUNCEMENT: POLIS 0.4 Embedded System Framework

4. little language framework 0.4

5. Incoming PO utilities 0.4 announcement

6. ANNOUNCE: Winico 0.4 prerelease (correction from previous announcement)

7. RubyDoc 0.4 available for download

8. Ada Announcement at Embedded Systems Conf.

9. Two PhD studentships available in Embedded Systems using FPGAs for image and signal processing applications

10. Embedding Tcl Interpreter in an embedded system

11. Persitency-Frameworks / TOPLink for Gemstone announcement

12. Announcement: Internet Framework Templates - HTTP Server Edition


Powered by phpBB® Forum Software