hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Modeling and Validating Globally Asynchronous Design in Synchronous Frameworks
Eindhoven University of Technology, Eindhoven, The Netherlands.ORCID iD: 0000-0002-4869-6794
INRIA/IRISA, Rennes, France.
INRIA/IRISA, Rennes, France.
Virginia Polytechnic Institute and State University, Blacksburg, Virginia, USA.ORCID iD: 0000-0001-5525-7426
Show others and affiliations
2004 (English)In: Proceedings of the Design, Automation and Test in Europe Conference and Exhibition (DATE’04), Volume 1 / [ed] G. Gielen & J. Figueras, Los Alamitos, CA: IEEE Computer Society, 2004, 384-389 p.Conference paper, Published paper (Refereed)
Abstract [en]

We lay a foundation for modeling and validation of asynchronous designs in a multi-clock synchronous programming model. This allows us to study properties of globally asynchronous systems using synchronous simulation and model-checking toolkits. Our approach can be summarized as automatic transformation of a design consisting of two asynchronously composed synchronous components into a fully synchronous multi-clock model preserving behavioral equivalence. The ultimate goal of this research is to provide the ability to model and build GALS systems in a fully synchronous design framework and deploy it on an asynchronous network preserving all properties of the system proven in the synchronous framework.

Place, publisher, year, edition, pages
Los Alamitos, CA: IEEE Computer Society, 2004. 384-389 p.
Series
Design, Automation & Test in Europe Conference & Exhibition (DATE), ISSN 1530-1591
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20466DOI: 10.1109/DATE.2004.1268877Scopus ID: 2-s2.0-3042515543ISBN: 0-7695-2085-5 OAI: oai:DiVA.org:hh-20466DiVA: diva2:584520
Conference
Design, Automation and Test in Europe (DATE 2004), Paris, France, February 16-20, 2004
Available from: 2013-01-09 Created: 2013-01-08 Last updated: 2015-04-10Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad RezaShukla, Sandeep Kumar
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 64 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf