NDLI: A simulation condition for correct asynchronous implementation of synchronous design

Content Provider	IEEE Xplore Digital Library
Author	Xu, S. Kumar, R. Jiang, S. Ramesh, S.
Copyright Year	2008
Description	Author affiliation: Dept. Electr. & Comput. Eng., Iowa State Univ., Ames, IA (Xu, S.; Kumar, R.)
Abstract	We study the problem of "desynchronization", i.e., semantics-preserving "asynchronous implementation" of a "synchronous design". In a synchronous design, system components (which we model as input-output automata (I/O- automata)) communicate over synchronous channels and their combined behavior can be described using synchronous composition, whereas in an asynchronous implementation, communication among components occurs over asynchronous channels (which we also model as I/O-automata) and the behavior of an asynchronous implementation can be described using asynchronous composition. The presence of asynchronous communication can result in additional behavior that is not present under synchronous communication and can thus cause the semantics of a synchronous design to be not preserved under asynchronous implementation. We formalize the notion of system response to an input sequence and by using it, define a criterion for correct desynchronization. We define the simulation of I/O-automata, and argue that the simulation of the asynchronous implementation by a synchronous design is sufficient to guarantee the correctness of desynchronization. This is a new way of characterizing the correctness of desynchronization (as compared to the "iso-/endo-chrony" type conditions proposed in previous works). Under the practical assumption that the communication delay is bounded, the proposed simulation condition is algorithmically verifiable.
Starting Page	1728
Ending Page	1733
File Size	275722
Page Count	6
File Format	PDF
ISBN	9781424420780
ISSN	07431619
DOI	10.1109/ACC.2008.4586741
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2008-06-11
Publisher Place	USA
Access Restriction	Subscribed
Rights Holder	American Automatic Control Council(AACC)
Subject Keyword	Counting circuits Automata Asynchronous communication Delay Discrete event systems Resumes Relays Computer languages Signal design Real time systems Input-Output Automata Synchronous Language Asynchronous Implementation GALS Desynchronization Discrete-Event Systems
Content Type	Text
Resource Type	Article
Subject	Electrical and Electronic Engineering

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in