Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract) - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Gérard Berry. Esterel and Jazz: Two Synchronous Languages for Circuit Design (Abstract). In Laurence Pierre, Thomas Kropf, editors, Correct Hardware Design and Verification Methods, 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 99, Bad Herrenalb, Germany, September 27-29, 1999, Proceedings. Volume 1703 of Lecture Notes in Computer Science, pages 1, Springer, 1999. [doi]

The following publications are possibly variants of this publication:

The Esterel Synchronous Programming Language: Design, Semantics, ImplementationGérard Berry, Georges Gonthier. SCP, 19(2):87-152, 1992.

The ESTEREL Synchronous Programming Language and its Mathematical SemanticsGérard Berry, Laurent Cosserat. concur 1985: 389-448

Synchronous Design and Verification of Critical Embedded Systems Using SCADE and EsterelGérard Berry. fmics 2008: 2 [doi]

Circuit design and verication with Esterel v7 and Esterel StudioGérard Berry. hldvt 2007: 133-136 [doi]

runs on WebDSL