-----------------------------------------------------------------------
FDL'06  
Forum on specification & Design Languages
September 19-22, 2006  -  TU Darmstadt, Germany

with
-----------------------------------------------------------------------
High-Level Synthesis (HLS)  Workshop
on September 18th, 2006 - Room C110
www.ecsi-association.org/ecsi/events/hls/ECSI-HLS.pdf
-----------------------------------------------------------------------
14th European SystemC Users Group Meeting
on September 19th, 2006 - 15:00-18:00 - Room C120
www-ti.informatik.uni-tuebingen.de/~systemc
-----------------------------------------------------------------------

Registration and additional information at: www. ecsi.org/fdl

-----------------------------------------------------------------------
-----------------------------------------------------------------------
FDL06
-----------------------------------------------------------------------
-----------------------------------------------------------------------

General Chair: 
Prof. Sorin A. Huss, TU Darmstadt, Germany, [EMAIL PROTECTED]

An ECSI event - co-sponsored by TU Darmstadt
co-sponsored with no financial implication by Accellera, Cadence, GI, 
GMM, IEE, IFIP 10.5, ITG, Mentor Graphics, Microswiss Network, Synopsys


FDL is the premier European forum to present research results,
to exchange experiences, and to learn about new trends in the application 
of specification and design languages as well as of associated design 
and modelling methods and tools for integrated circuits, embedded 
systems,  and heterogeneous systems. 
Modelling and specification concepts push the development of new 
methodologies for design and verification to system level, they thus 
provide the means for a model-driven design of complex information 
processing systems in a variety of application domains. 
The aim of FDL is to cover several related thematic areas and to give an 
opportunity to gain up-to-date knowledge in this fast evolving area.
        
FPD TA: Formalisms for Property-Driven Design: Verification of functional 
behaviour, generation of test stimuli, model checking on the reachable 
state space, and direct synthesis from assertions are main topics of 
interest in this TA.

CSD TA: C/C++ Based System Design: Design methodologies that use C/C++ 
or dedicated modelling languages such as SystemC, SystemVerilog, Verilog, 
and VHDL jointly with verification languages such as e or PSL/Sugar for
the design and verification of hardware/software systems.

AMS TA: Analog, Mixed-Signal, and Heterogeneous System Design: Design 
methodologies that exploit a mix of continuous-time and discrete-event 
modelling languages such as VHDL-AMS, Verilog-AMS, SystemsC-AMS, 
or Modelica for the design and verification of heterogeneous systems.

UML TA: UML-Based System Specification and Design: Specification and design
methodologies such as the Model Driven Architecture that rely on UML to map 
abstract models of complex embedded systems to programmable hardware 
platforms and to System-on-a-Chip architectures.

FDL’06 will also offer a number of high-quality tutorials, of special 
sessions, and of keynotes presented by experts in their fields. Fringe 
and private meetings will also be accommodated. We will try our best to 
provide a nice working environment, a friendly atmosphere, and an exciting 
social event to all attendees of FDL’06.


FDL SECRETARIAT         

Secretariat: ECSI Office
[EMAIL PROTECTED]
www.ecsi.org/fdl
Ph: +33 4 76 63 49 34
Fx: +33 4 76 42 87 87

-----------------------------------------------------------------------
-----------------------------------------------------------------------
HLS Workshop
-----------------------------------------------------------------------
-----------------------------------------------------------------------

ECSI Institute & UBS Workshop on
High-Level Synthesis
September 18, 2006 - 9:00-19:00
TU Darmstadt, Germany

Registration deadline: September 12!

Objectives
-------------

The successful usage of Hardware Description Languages like VHDL and 
Verilog in the design flow is mainly due to the availability of efficient 
synthesis methods and tools that enable the translation of RTL designs into 
optimized gate-level implementations. Many expect that the same approach 
could be effectively adapted at higher levels of abstraction despite the 
failure of previous attempts to behavioural synthesis from higher-level 
descriptions.

Languages like C or SystemC offer high abstraction level. However, in order 
to provide the designers with an efficient automated path to 
implementation, new high-level synthesis tools are required. Several 
commercial and academic C/C++/SystemCbased tools are available today: the 
Agility Compiler and DK Design Suite from Celoxica, eXCite from Y 
Explorations, CatapulC from Mentor Graphics, Cyber from Nec, PICO from 
Synfora, Cynthesizer from Forte Design Systems, Cascade from Critical Blue& 
SPARK from the UCSD, GAUT from the UBS&

The main expectations from the system design teams concern both methods and 
tools supporting better management of the design complexity and reduction 
of the design cycle all together, breaking the trend to compromise 
evaluation of various design implementation options. Designing at higher 
levels of abstraction is an obvious way as it allows to better managing the 
system design complexity, to verify earlier in the design process and to 
increase code reuse.

Thus, users formulate several crucial questions with regard to system 
synthesis:

Is the so-called high-level synthesis an appropriate and efficient solution 
to get to the implementation? 
Is it optimal (how efficient is the RTL architecture, targeted to 
downstream synthesis tools)? 
What benefit can users gain and at what price: how does it influence the 
designer productivity, the design flow and the way of exploring multiple 
implementation alternatives, trade-off management&? 
What about the verification flow (reuse of test-bench, back-annotation from 
implementation to specification)? 
How can IP reuse be strengthened by high-level synthesis: automatic 
retargeting to different technologies, exploration of implementation 
alternatives and trade-offs? 
The ECSI & UBS Workshop on High-Level Synthesis HLS will provide an 
overview of existing and emerging solutions provided by both industrial 
partners (EDA companies) and research institutions in this domain. It will 
give an outline (as complete as possible) of HLS methods and tools 
available currently on the market bring the details on their applicability, 
performance and strengths. Finally, the event will create a discussion 
platform for experience exchange between participants. 


Programme
-------------
Session 1:  HLS INTRODUCTION
   The Challenge of Hardware Synthesis from C-like Languages - Stephen 
Edwards, Columbia University, USA
   Synthesis from High level HDLs: Lessons Learnt- Rajesh Gupta, University 
of California San Diego, USA

Session 2:  USER NEEDS & REQUIREMENTS
Industrial presentations from: STMicroelectronics, MBDA, Mentor, ...

Session 3:  RESEARCH DIRECTIONS
   Multi-Process Optimizations in High-Level Synthesis - Oliver Bringmann, 
FZI, Germany
   Cyber Synthesis Technology - Kazutoshi Wakabayashi, NEC, Japan
   SPARK- R. Gupta, University of California, San Diego, UCSD
   GAUT - Philippe Coussy, LESTER - UBS, France

 Session 4:  EDA PRESENTATIONS
   Mentor Graphics - Mansour Amirfathi
   CoWare - Achim Nohl
   Forte Design - Mike Meredith
   NEC - Kazutoshi Wakabayashi 
   Synfora - Vinod Kathail
   Synplicity - Doug Amos

 Session 5:  Parallel Tool Demos + Networking Discussion

Workshop Information & Registration
--------------------------------------------
Workshop description, registration form, hotel and venue can be found at:
http://www.ecsi-association.org/ecsi/events/hls/ECSI-HLS.pdf

The workshop is free for ECSI Industrial & Associate Members (see 
conditions on the registration form)!
Please fill-in the form found on the web page and fax it back to ECSI to 
+33 4 76 42 87 87
Registration deadline: September 12, 2006
Attention: limited number of seats.


-----------------------------------------------------------------------
-----------------------------------------------------------------------
European SystemC Users Group Meeting
-----------------------------------------------------------------------
-----------------------------------------------------------------------
Tuesday, September 19th, 2006    15:00 - 18:00 
FDL Conference 2006, TU Darmstadt, Room C120
----------------------------------------------

Dear SystemC User,

Please notice the final agenda for our 14th European SystemC 
Users Group Meeting. In our extended OSCI section we will give 
insights into the ongoing development and work within OSCI and 
the OSCI working groups. Besides this we are looking at the future 
of TLM modeling and at the transition to the SystemC IEEE 1666 
standard. We of course have a SystemC User«s Forum that covers 
SystemC simulation and modeling topics.

We are pleased to invite you to this event!

Additional information can also be found at:

    http://www-ti.informatik.uni-tuebingen.de/~systemc


AGENDA
------

    15:00h  Coffee Reception

    15:30h  Opening
            Axel Braun, University of Tuebingen, ESCUG

            OSCI Forum

            * OSCI General Update 
              Mike Meredith, OSCI President, USA

            * OSCI TLM Working Group Plans
              Mike Meredith, OSCI President, USA

            * Making the Transition to IEEE 1666 SystemC
              John Aynsley, Doulos, U.K.
  
    16:30h  SystemC User's Forum
                
            * SystemC-SystemVerilog Interaction
              n.n.

            * A parallel version of the OSCI SystemC kernel
              Philippe Combes, University of Geneva, CH
              Julien Zory, STMicroelectronics, CH 

            * Simulating Sensor Networks with SystemC
              Alban Rrustemi, University of Cambridge, U.K.
                      
            * GreenBus
              Wolfgang Klingauf, GreenSocs, DE

            * Using Programmer's View Timing Annotation for the 
              Creation of  Reusable Transaction Level Models
              Tim Kogel, CoWare, BE

     18:00h Closing
            Axel Braun, University of TŸbingen, ESCUG 

     18:05h Buffet & Refreshments



REGISTRATION
------------

If you like to participate at the 14th European SystemC Users Group 
Meeting, please register by replying to this email adding your name, 
address, affiliation, email address, and phone number. Note that the 
number of seats is limited and registrations will be handled on a 
first-come-first-serve basis. Participation will be free of charges!

Please forward this email to colleagues who are also interested in SystemC. 

We are looking forward to meeting you in Darmstadt!

With best regards,
Axel Braun, Wolfgang Rosenstiel

********************************************************************
   The 14th European SystemC Users Group Meeting is supported by 
       Cadence, CoWare, Celoxica, Synopsys, Mentor Graphics, 
          ESLX, Doulos, and the Open SystemC Initiative.
********************************************************************


-----------------------------------------------------------------------
-----------------------------------------------------------------------
FDL CONTACT
-----------------------------------------------------------------------
-----------------------------------------------------------------------
More information about FDL 2006 are available at: www.ecsi.org/fdl

European Electronic Chips & Systems design Initiative (ECSI) 
Parc Equation - 2, Avenue de Vignate - 38610 Gieres, France

Phone:  +33 4 76 63 49 34
Fax:    +33 4 76 42 87 87
E-mail: [EMAIL PROTECTED]
www.ecsi.org
-----------------------------------------------------------------------
-----------------------------------------------------------------------





_________________________________________________________________________________
mozart-users mailing list                               
mozart-users@ps.uni-sb.de
http://www.mozart-oz.org/mailman/listinfo/mozart-users

Reply via email to