Accelerating Markovian analysis of asynchronous systems using string-based state compression

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

Volumn 1998-March, Issue , 1998, Pages 247-260

  Xie, Aiguo ^a   Beerel, Peter A ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS SEQUENTIAL LOGIC; CHAINS;

ASYNCHRONOUS SYSTEM; FEEDBACK VERTEX SET; MARKOVIAN; NOVEL TECHNIQUES; STATE COMPRESSIONS; STATIONARY ANALYSIS; TRADITIONAL TECHNIQUES; YIELD REDUCTION;

MARKOV PROCESSES;

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

References (31)

1. H. Hulgaard and S. M. Burns. An algorithm for exact bounds on time separation of events in concurrent systems. IEEE Trans. Computers, 44(11), Nov. 1995.
2. H. Hulgaard, T. Amon, S. M. Burns, G. Bor-riello. Timing analysis of timed graphs with bounded delays using algebraic techniques. In Proc. IEEE Conf. Decision and Control, 1994.
3. M. R. Greenstreet and K. Steiglitz. Bubbles can make self-timed pipelines fast. J. VLSI Signal Processing, 2(3):139-148, Nov. 1990.
4. J. Ebergen and R. Berks. Response time properties of some asynchronous circuits. In Proc. Int. Symp. Ad-vanced Research in Asynchronous Circuits and Sys-tems, 1997.
5. P. Kudva, G. Gopalakrishnan, E. Brunvand, V. Akella. Performance analysis and optimization of asynchronous circuits. In Proc. Int. Conf. Computer Design, October 1994.
6. A. Xie and P. A. Beerel. Symbolic techniques for performance analysis of asynchronous systems based on average time separations of events. In Proc. Int. Symp. Advanced Research in Asynchronous Circuits and Systems, 1997.
7. S. Burns. Performance Analysis and Optimization of Asynchronous Circuits. PhD thesis, CIT, 1991.
8. T. Lee. A General Approach to Performance Analy-sis and Optimization of Asynchronous Circuits. PhD thesis, CIT, 1995.
9. J. Teich, L. Ghiele, S. Sriram, M. Martin. Performance analysis and optimization of mixed asynchronous synchronous systems. IEEE Trans. Computer-Aided Design, May 1997.
10. M. Holiday and M. Vernon. A generalized timed Petri net model for performance analysis. IEEE Trans. Software Eng., 13:1297-1310, Dec. 1987.
11. K. L. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
12. G. Rubino and B. Sericola. Sojourn times infinite Markov process. J. Appl. Prob., 27:744-756, 1989.
13. G. D. Hachtel, E. Macii, A. Pardo, F. Somenzi. Markovian analysis of large finite state machines. IEEE Trans. Computer-Aided Design, Dec. 1996.
14. V. D. Ploeg. Preconditioning techniques for large sparse, non-symmetric matrices with arbitrary spar-sity patterns. In Proc. IMACS Symp. Iterative Meth-ods in Linear Algebra, 1991.
15. G. W. Stewart. Methods of simultaneous iteration for computing invariant subspaces of non-ruminating matrices. Numerical Mathematics, 25:123-136, 1976.
16. A. M. Abdel-Moneim and F. W. Leysiefier. Weak lumpability in finite Markov chains. J. Appl. Prob., 19:685-691, 1982.
17. G. Rubino and B. Sericola. On weak lumpability in Markov chains. J. Appl. Prob., 26:446-457, 1989.
18. Y. Ho and X. Cao. Perturbation analysis of discrete event dynamic systems. Kluwer Academic Publish-ers, 1991.
19. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Company, 1979.
20. Jr. G. W. Smith and R. B. Walford. The identifica-tion of a minimal feedback vertex set of a directed graph. IEEE Trans. Circuits and Systems, 22(1):9-15, Jan. 1975.
21. K. Cheng and V. D. Agrawal. A partial scan method for sequential circuits and feedback. IEEE Trans. Computers, 39(4):544-548, Apr 1990.
22. S. Park and S. B. Akers. A graph theoretic approach to partial scan design by k-cycle elimination. In Proc. IEEE Int. Test Conf., 1992.
23. A. Xie and P. A. Beerel. Accelerating Markovian analysis of synchronous systems using string-based state compression. Tech. Rep., CENG-97-21, Univ. Southern Calif., 1997.
24. A. Xie and P. A. Beerel. Eficient state classification of finite state Markov chains. Tech. Rep., CENG-97-20, Univ. Southern Calif., 1997.
25. J. G. Kemeny and J. L. Snell. Finite Markov Chains. Springer, 1976.
26. V. G. Kulkarni. Modeling and Analysis of Stochastic Systems. Chapman & Hall, 1995.
27. W. J. Stewart. An Introduction to the Numerical Solution of Markov chains. Princeton Univ. Press, 1994.
28. L. Holden. Research Director, Norwegian Computing Center at Univ. of Oslo. private communication, Dec. 1997.
29. R. I. Bahar, E. A. Frohm, C. M. Gaona, G. D. Hachtel. Algebraic decision diagrams and their appli-cations. In Proc. Int. Conf. Computer-Aided Design, 1993.
30. K. Y. Yun, P. A. Beerel, V. Vakilotojar, A. E. Dooply, J. Arceo. A low-control-overhead asynchronous difierential equation solver. In Proc. Int. Symp. Ad-vanced Research in Asynchronous Circuits and Sys-tems, 1997.
31. K. Y. Yun and R. P. Donohue. Pausible clocking: A first step toward heterogeneous systems. In Proc. Int. Conf. Computer Design, Oct. 1996.