All of RECERCAT

This Collection

To access the full text documents, please follow this link: http://hdl.handle.net/2099.1/5448

Title:	Elastic Esterel
Author:	Galceran Oms, Marc
Other authors:	Cortadella Fortuny, Jordi; Berry, Gérard; Universitat Politècnica de Catalunya. Departament de Llenguatges i Sistemes Informàtics
Abstract:	The aim of this master's thesis is to elasticize Esterel.Esterel is an imperative hardware description language (HDL) used todescribe reactive systems, and oriented to specify control systems. Itbelongs to the family of synchronous languages, and it allows to describecausality, concurrency and interruptions.Elastic circuits preserve a protocol that makes it possible for the circuitto be latency-insensitive. Besides, elastic circuits are easy to implementand can be synthesized automatically.The goal of the thesis is to provide an automatic synthesis method ofelastic circuits from Esterel specifications. At the semantic level, it isproven that the generated elastic circuits are functionally equivalent tothe conventional circuits generated using Esterel V7 compiler.
Publication date:	2009-07-27
Subject(s):	Àrees temàtiques de la UPC::Enginyeria electrònica i telecomunicacions::Circuits electrònics Electronic circuits Computer programming Elastic circuits Synchronous programming Circuits electrònics Programació (Ordinadors)
Rights:	Consulteu les condicions d'ús d'aquest document en el repositori original:http://hdl.handle.net/2099.1/5448
Document type:	Research/Master Thesis
Share: