Asynchronous implementation of synchronous Esterel specifications

The synchrony hypothesis of Esterel demands the generation of a single monolithic FSM from the specifications. However for large specifications, the size of this FSM can prove to be inhibitively large. In this paper, we propose a practical solution to this problem, which generates separate FSMs for...

Full description

Saved in:
Bibliographic Details
Published in:Proceedings Tenth International Conference on VLSI Design pp. 348 - 353
Main Authors: Mitra, R.S., Bhattacharya, B., Lavagno, L.
Format: Conference Proceeding
Language:English
Published: IEEE 1997
Subjects:
Broadcasting
Circuit synthesis
Delay
Embedded software
Embedded system
Hardware
Integrated circuit interconnections
Merging
Software systems
Very large scale integration
ISBN:9780818677557, 0818677554
ISSN:1063-9667
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The synchrony hypothesis of Esterel demands the generation of a single monolithic FSM from the specifications. However for large specifications, the size of this FSM can prove to be inhibitively large. In this paper, we propose a practical solution to this problem, which generates separate FSMs for each of the concurrent instructions. We also enumerate the deviations in semantics due to this translation algorithm so that the user is aware of the executable semantics that he should expect.
ISBN:9780818677557
0818677554
ISSN:1063-9667
DOI:10.1109/ICVD.1997.568106