Towards asynchronous A-D conversion

Proceedings - 4th International Symposium on Advanced Research in Asynchronous Circuits and Systems

Volumn 1998-March, Issue , 1998, Pages 206-215

  Kinniment, D J ^a   Gao, B ^a,b   Yakovlev, A V ^a   Xia, F ^a  

^a NEWCASTLE UNIVERSITY   (United Kingdom)

^b CYPRESS SEMICONDUCTOR   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS SEQUENTIAL LOGIC; DECODING; DELAY CIRCUITS; ECONOMIC AND SOCIAL EFFECTS; ERRORS;

ANALOG-TO-DIGITAL; ASYNCHRONOUS DESIGN; CONVERTER DESIGN; DELAY VARIATION; METASTABILITIES; SPEED INDEPENDENT; SUCCESSIVE APPROXIMATIONS; SYNCHRONOUS DESIGNS;

ANALOG TO DIGITAL CONVERSION;

EID: 85044579495     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASYNC.1998.666506     Document Type: Conference Paper

References (12)

1. T.-A. Chu and L. A. Glasser,\Synthesis of Self-Timed Control Circuits from Graphs: An Example", IEEE International Conference on Computer Design(ICCD86), 1986, pp.565-571.
2. T. J. Chaney and C. E. Molnar,\Anomalous behav-ior of synchronizer and arbiter circuits", IEEE Trans-actions on Computers, C-22(4), pp. 412-422, April1973.
3. D. J. Kinniment and J. V. Woods,\Synchronisationand arbitration circuits in digital systems", Proceed-ings IEE, vol 123, No. 10, pp. 961-966, October 1976.
4. B. Russell, Introduction to Mathematical Philosophy, London, G.Allen and Unwin, 1920 (pp. 84-86).
5. M. Mendler and T. Stroup,\Newtonian arbiters can-not be proven correct", Formal Methods in SystemDesign, 3(3), pp. 233-257, December 1993.
6. I. M. Mitchell and M. R. Greenstreet,\Proving New-tonian Arbiters Correct, almost surely", Proc. ofConf. on Designing Correct Circuits (DCC'96), 1996(see also: Ian M. Mitchell,\Proving Newtonian Ar-biters Correct, Almost Surely", MSc Thesis, Univer-sity of British Columbia, October 1996).
7. C. L. Seitz,\System Timing"; In C. Mead and L.Conway, Introduction to VLSI Systems, Chapter 7, pp.218-262, Addison Wesley 1979.
8. J. Cortadella, A. Kondratyev, M. Kishinevsky, L.Lavagno and A. Yakovlev,\Petrify: A tool for ma-nipulating concurrent specications and synthesis ofasynchronous controllers", Proc. 11th Conference onDesign of Integrated Circuits and Systems (DCIS'96), Barcelona, Nov. 1996, pp.205-210.
9. H. J. M. Veendrick,\The behavior of ip-ops usedas synchronizers and prediction of their failure rate", IEEE Journal of Solid-State Circuits, vol. SC-15(2), pp. 169-176, April 1980.
10. D.J. Kinniment, A.V. Yakovlev and B. Gao,\Metastable Behaviour in Arbiter Circuits", Techni-cal Report Number: 604, Dept. of Computing Science, University of Newcastle upon Tyne 1997.
11. T. Murata,\Petri nets: Properties, analysis and ap-plications", Proceedings of IEEE, vol. 77(4), pp. 541-580, April 1989.
12. V. Varshavsky, M. Kishinevsky, V. Marakhovsky, V.Peschansky, L. Rosenblum, A. Taubin, B. Tsirlin, Self-Timed Control of Concurrent Processes, KluwerAcademic Publishers, Dordrecht, 1990 (Russian Edi-tion: Nauka, Moscow, 1986).