Formal Methods in Computer-Aided Design

DOI10.1007/B102264MaRDI QIDQ5492974zbMATH OpenOpenAlexFDO

Authors Laurent Arditi, Gérard Berry, Michael Kishinevsky

Publication date 20 October 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b102264

Mathematics Subject Classification ID

Mathematical problems of computer architecture (68M07) Computer science aspects of computer-aided design (68U07)

Recommendations

• scientific article; zbMATH DE number 2090842
• scientific article; zbMATH DE number 1852153
• Retiming: Theory and practice
• The Esterel synchronous programming language: Design, semantics, implementation
• Retiming synchronous circuitry

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: Formal Methods in Computer-Aided Design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5492974)