An event spacing experiment

Proceedings - International Symposium on Asynchronous Circuits and Systems

Volumn , Issue , 2002, Pages 47-56

  Winstanley, Anthony J ^a   Garivier, Aurelien ^b   Greenstreet, Mark R ^a  

^a UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^b UNIVERSITÉ PARIS SACLAY   (France)

Author keywords

Attractors; Charlie Diagrams; Hysteresis; Phase transitions; Self timed rings; Timing analysis

Indexed keywords

ATTRACTOR; BOUNDED DELAYS; CHARLIE DIAGRAM; DELAY MODELS; PERFORMANCE; SELF-TIMED; SELF-TIMED RING; SPACING EXPERIMENTS; TIMING ANALYSIS; UNDERLYING DYNAMICS;

PHASE TRANSITIONS;

EID: 2942669989     PISSN: 26431394     EISSN: 26431483     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. T. Amon and H. Hulgaard. Symbolic time separation of events. In Proceedings of the Fifth International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 83-93. IEEE, Apr. 1999.
2. V. Chandromouli and K. Sakallah. Modeling the effects of temporal proximity of input transitions on gate propagation delay and transition time. In Proceedings of the 33th ACM/IEEE Design Automation Conference, pages 617-622, June 1996.
3. W. J. Dally and J. W. Poulton. Digital Systems Engineering. Cambridge University Press, 1998.
4. F. Dartu, N. Menzes, et al. A gate delay model for highspeed CMOS circuits. In Proceedings of the 31th ACM/IEEE Design Automation Conference, pages 576-580, June 1994.
5. J. C. Ebergen, S. Fairbanks, and I. E. Sutherland. Predicting performance of micropipelines using Charlie Diagrams. In Proceedings of the Fourth International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 238-246, Apr. 1998.
6. M. R. Greenstreet and K. Steiglitz. Bubbles can make self-timed pipelines fast. Journal of VLSI and Signal Processing, 2(3): 139-148, Nov. 1990.
7. M. W. Hirsch and S. Smale. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, San Diego, CA, 1974.
8. H. Hulgaard, S. M. Burns, T. Amon, and G. Borriello. An algorithm for exact bounds on the time separation of events in concurrent systems. IEEE Transactions on Computers, 44(11):1306-1317, Nov. 1995.
9. K. G. Larsen, P. Petterson, and W. Yi. UPPAAL: Status and developments. In Proceedings of the Ninth Conference on Computer Aided Verification, pages 456-459. Springer, June 1997. LNCS 1254.
10. L. Nagel. SPICE2: a computer program to simulate semiconductor circuits. Technical Report ERL-M520, Electronics Research Laboratory, University of California, Berkeley, CA, May 1975.
11. T. S. Parker and L. O. Chua. Practical Numerical Algorithms for Chaotic Systems. Springer, New York, 1989.
12. J. Sparsø and J. Staunstrup. Delay-insensitive multi-ring structures. INTEGRATION, 15(3):313-340, Oct. 1993.
13. W.-K. Su. Reactive-Process Programming and Distributed Discrete Event-Simulation. PhD thesis, Computer Science Department, California Institute of Technology, 1989.
14. L. Thiele. On the analysis and optimization of self-timed processor arrays. INTEGRATION, 12(2): 167-187, Dec. 1991.
15. T. E. Williams. Self-Timed Rings and their Application to Division. PhD thesis, Stanford University, May 1991.
16. A. J. Winstanley. Temporal properties of self-timed rings. Master's thesis, University of British Columbia, Sept. 2001.
17. A. J. Winstanley and M. R. Greenstreet. Temporal properties of self-timed rings. In Proceedings of the 11th Advanced Research Working Conference on Correct Hardware Design and Verification Methods, CHARME'01, Sept. 2001.
18. B. D. Winters and M. R. Greenstreet. A negative-overhead, self-timed pipeline. In Proceedings of the Eigth International Symposium on Advanced Research in Asynchronous Circuits and Systems, Manchester, UK, Apr. 2002. In this volume.
19. A. Xie and P. A. Beerel. Symbolic techniques for performance analysis of timed systems based on average time separation of events. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 64-75. IEEE Computer Society Press, Apr. 1997.
20. A. Xie, S. Kim, and P. A. Beerel. Bounding average time separations of events in stochastic timed Petri nets with choice. In Proc. International Symposium on Advanced Research in Asynchronous Circuits and Systems, pages 94-107, Apr. 1999.
21. S. Yovine. Kronos: A verification tool for real-time systems. Internation Journal of Software Tools for Technology Transfer, 1(1/2), Oct. 1997.