1. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 1 1 Esterel v7 IEEE / DASC Standardization Proposal Gérard Berry Chief Scientist Esterel Technologies Member, Académie des sciences Member, Académie des technologies Member, Academia Europaea

2. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 2 2 Esterel Technologies - Industries Served SCADE Drive™ Safety-critical automotive embedded software code generator certified by TUV - IEC 61508 standard Esterel Studio ™ Specification-to-RTL of hardware IP designs rigorous & unambiguous executable specifications automatically-generated efficient RTL / C code SCADE Suite™ De-facto Standard for Safety-critical avionics embedded software DO-178B Level A certified systems automatically-generated C code

3. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 3 3 What is Esterel v7? A formal synchronous IP specification language Based on previous public Esterel v5 research language (INRIA, Columbia, France Telecom, IIT Mumbai, etc.) With enhanced complex control description statements With new powerful hardware datapath expressions With strong formal semantics and assertion-based verification Fully synthesizable to hardware (HDL) or software (C, C++) Industrialized by Esterel Technologies since 2001 Specified within the Esterel Consortium semiconductor companies + academics

4. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 4 4  In 2001 Esterel Technologies formed a consortium of leading Semiconductor companies  Early adopters of Esterel Studio™  Strategic involvement  Collaborative specification of the requirements  Strong influence on roadmap  Working with Esterel Technologies for IEEE standardization of the Esterel language  And more recently… Esterel Consortium

5. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 5 5 What Esterel v7 is not Another flavor of classical HDLs HDL = structural, Esterel v7 = behavioral built-in sofware-like sequential sequencing dedicated statements for complex temporal control exact arithmetic for automatic datapath sizing Another flavor of C built-in hardware-like concurrency dedicated statements for complex temporal control A full SoC system-level specification language not an alternative to SystemC but an excellent IP / transactor design tool for SystemC formal specification and verification, synthesis to RTL + SystemC (system-level formal specification and verification is yet a dream)

6. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 6 6 trap HeartAttack in || run CheckHeart exit HeartAttack handle HeartAttack fo run RushToHospital end trap abort when 2 Lap every Morning do end every The Esterel Runner abort run Slowly when 100 Meter ; abort every Step do run Jump || run Breathe end every when 15 Second ; run FullSpeed loop each Lap

7. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 7 7 Esterel History (1) 1983: first publications on the language + semantics INRIA & Ecole des Mines, Sophia-Antipolis 1984: design of Esterel v2, first compiler 1989: design of Esterel v3, enhanced compiler wide academic distribution first industrial usage (AT&T, Dassault Aviation, etc.) 1991: Esterel v4 compiler to hardware (Digital Equipment) FPGA applications 1992: BDD-based formal verification (avionics) 1998: definition of SyncCharts = graphical Esterel (C. André) 1993-2000: cooperation with Cadence & Synopsys

8. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 8 8 Esterel History (2) 2000: initial definition of Esterel v7 with M. Kishinevsky, Intel Strategic CAD Lab 2001: creation of Esterel Technologies 2003: first production release of Esterel v7 / Esterel Studio first experiments by customers 2004: release of Esterel v7_20 with enhanced datapath first full designs large-scale academic distribution 2005: release of Esterel v7_30 with formal muticlock design production designs 2006: start of standardization process

9. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 9 9 Esterel Compilers Elsewhere 1988: INRIA compiler (G. Berry) 1999: Synopsys Esterel v5 Compiler (S. Edwards) 1998: GMD Esterel compiler (A. Poigné, L. Holenderski) 2001: Xerox TCCP time constraint language (V. Saraswat) 2001: France Telecom Esterel->C compiler (Weil & Closse) 2001: Cadence Esterel/C Language = ECL (Lavagno, Sentovich) 2002: Columbia Esterel v5 Compiler (S. Edwards) 2002: Kaiserslautern Quartz compiler / verifier (K. Schneider) 2004: INRIA Esterel->FastC compiler (D. Potop) 2005: Dassault Systèmes Esterel for PLCs compiler 2006: Kaiserslautern Averest system (K. Schneider)

10. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 10 Esterel Publications Two Web books by G. Berry The Constructive Semantics of Pure Esterel The Esterel v5_91 Primer To appear: Compiling Esterel, Springer (Potop, Berry, Edwards) Synchronous Programming of Reactive Systems by N. Halbwachs (Kluwer) Programmation Réactive en Esterel et SyncCharts by L. Zaffalon (U. Geneva) An Esterel book in Korean (U. Seoul) A lot of scientific publications, including special issue of Proceedings of the IEEE The Esterel v7 Language Reference Manual

11. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 11 July 2006 Status Esterel Tech. signed contract with IEEE support services for: Administrative tasks Host standardization website Review LRM Organize voting Publish the standard (copyright will be transferred to IEEE) Current tasks PAR (Project Authorization Request) sent to DASC July 27th: project presentation to DASC-SC for sponsorship => discuss DASC requirements (Procedures and Policies) DASC to send PAR to NesCom before August 4 NesCom board scheduled Sept 11 (attributes project number)

12. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 12 Initial Workgroup Formation 19 positive answers to invitation received as of July 20 a few more expected Industry corporate sponsors & individuals France Telecom, General Motors, IBM, INTEL, Microsoft, NEC, Philips, ST Microelectronics, Texas Instruments Tools producer Esterel Technologies, Cadence Academics individuals: Christian Albrechts University, Columbia University, EIG Genève, INRIA, Kaiserslautern University, Seoul University, Technion, University of Nice General Interest W. Rosentiel, U. Tübingen + SystemC / OSCI

13. Esterel Technologies © 2006 — www.esterel-technologies.com - DASC meeting, July 25thwww.esterel-technologies.com 13 Planning (currently discussed with IEEE)