Synthesis and implementation of a signal-type asynchronous data communication mechanism

Proceedings - International Symposium on Asynchronous Circuits and Systems

Volumn , Issue , 2001, Pages 127-136

  Yakovlev, A ^a   Xia, F ^a   Shang, D ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONVOLUTIONAL CODES; SPECIFICATIONS;

ASYNCHRONOUS DATA; CLASSIFICATION SYSTEM; COMMUNICATION MECHANISMS; DATA DRIVEN; DATA-COMMUNICATION; HARDWARE IMPLEMENTATIONS; PETRI-NET TECHNIQUE; STATE GRAPHS; SYNTHESISED; THEORY OF REGIONS;

PETRI NETS;

EID: 77957957036     PISSN: 26431394     EISSN: 26431483     Source Type: Conference Proceeding    
DOI: 10.1109/ASYNC.2001.914076     Document Type: Conference Paper

References (20)

1. Simpson, H.R., Methodological and notational conventions in DORIS real time networks, Dynamics Division, BAe, February 1994.
2. Simpson, H.R., Campbell, E., "Real-time network architecture: principles and practice", Proc. AINT'2000, Aynchronous Interfaces: Tools, Techniques and Implementations, p.5 and handouts, TU Delft, The Netherlands, July 19-20, 2000.
3. Simpson, H.R., "Four-slot fully asynchronous communication mechanism", IEE Proc. Vol. 137, Pt.E, No.1, PP. 17-30, January 1990.
4. Tromp, J., "How to construct an atomic variable", Proc. 3rd Int. Workshop on Distributed Algorithms, Nice, LNCS, Spring Verlag, pp.292-302, 1989.
5. Kirosis, L.M., "Atomic multireader register", Proc. 2nd Int. Workshop on Distributed Computing, Amsterdam, LNCS-312, pp.278-296. Springer Verlag, 1987.
6. Chen, J. and Bums, A., "Asynchronous data sharing in multiprocessor real-time systems using process concensus", Proc. 10th Euromicro Workshop on Real-Time Systems, pp.2-9, Berlin, Germany, IEEE Comp. Soc, June 17-19, 1998.
7. Xia, F., Yakovlev, A., Shang, D., Bystrov, A., Koelmans, A. and Kinniment, D.J., "Asynchronous communication mechanisms using self-timed circuits", Proc. Async2000, Eilat, Israel, pp. 150-159, April 2000.
8. Peterson, J.L., Petri net theory and the modelling of systems, Prentice-Hall, 1981.
9. Clark, I., Xia, F., Yakovlev, A. and Davies. A.C., "Petri net models of latch metastability", Electronics letters, Vol.34, No.7, pp.635-636, April 2, 1998.
10. Shang D., Xia, F. and Yakovlev, A., "An implementation of a three-slot asynchronous communication mechanism using self-timed circuits", Proc. AINT'2000, as in [2], pp.37-44.
11. Sgroi, M., Lavagno, L. and Sangiovanni-Vincentelli, A., "Formal model for embedded systems design", IEEE Design and Test, Vol. 17(2), pp. 14-27, April-June 2000.
12. Yakovlev, A. and A. Koelmans, "Petri nets and hardware design", Lectures on Petri Nets II: Applications. Advances in Petri nets, LNCS-1492, pp. 154-236, Springer-Verlag, 1998.
13. Cortadella, J., Kishinevsky, M., Lavagno, L. and A. Yakovlev, "Deriving Petri nets from finite transition systems", IEEE Trans. on Computers, Vol. 47, No. 8, pp. 859-882, Aug. 1998.
14. Nielsen, M., Rozenberg, G. and P.S. Thiagarajan, "Elementary transition systems", Theoretical Computer Science, Vol. 96, pp. 3-33, 1992.
15. Sutherland, I.E., "Micropipelines", Commun. ACM., vol. 32, no.6, pp. 720-738, June 1989 (A Turing Award Lecture).
16. David, R., "Modular design of asynchronous circuits defined by graphs", IEEE Trans on Comp., Vo. C-26, no.8, pp. 727-737, Aug. 1977.
17. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L. and A. Yakovlev, "Petrify: a tool for manipulating concurrent specifications and synthesis of asynchronous controllers", IEICE Trans. Inf. and Syst., Vol. E80-D, No.3, pp. 315-325, March 1997.
18. Blunno, I., Bystrov, A., Carmona, J., Cortadella, J., Lavagno L., and A. Yakovlev, "Direct synthesis of large-scale asynchronous controllers using a Petrinet based approach", Handouts of Fourth ACiD-WG workshop, Grenoble, Jan. 2000 (http://time-cmp.imag.fr/tima/cis/cis.html).
19. Stevens, K., Ginosar, R., and S. Rotem, "Relative Timing", Proc. IEEE Symp. on Adv. Res. in Async. Cir. and Syst. (ASYNC99), Barcelona Spain, April 1999, IEEE Comp. Soc., pp. 208-218.
20. Seitz, C.L., "Ideas about arbiters", LAMBDA, First Quarter 1980, pp.10-14.