Accelerating Markovian analysis of asynchronous systems using state compression

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Volumn 18, Issue 7, 1999, Pages 869-888

  Xie, Aiguo ^a   Beerel, Peter A ^a  

^a University of Southern California ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LARGE SCALE SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; RESPONSE TIME (COMPUTER SYSTEMS); SET THEORY;

ASYNCHRONOUS CIRCUITS; FEEDBACK VERTEX SET; STATE COMPRESSION; SYMBOLIC TECHNIQUES;

COMPUTER AIDED NETWORK ANALYSIS;

EID: 0032646573     PISSN: 02780070     EISSN: None     Source Type: Journal    
DOI: 10.1109/43.771173     Document Type: Article

References (55)

1. H. Hulgaard and S. M. Burns An algorithm for exact bounds on time separation of events in concurrent systems IEEE Trans. Comput. vol. 44 pp. 1306-1317 Nov. 1995.
2. H. Hulgaard and S. M. Burns Bounded delay timing analysis of a class of CSP programs with choice in Proc. Int. Symp. Advanced Research in Asynchronous Circuits and Systems (ASYNC) Nov. 1994 pp. 2-11.
3. M. R. Greenstreet and K. Steiglitz Bubbles can make self-timed pipelines fast J. VLSI Signal Processing vol. 2 no. 3 pp. 139-148 Nov. 1990.
4. J. Ebergen and R. Berks Response time properties of some asynchronous circuits in Proc. Int. Symp. Advanced Research in Asynchronous Circuits and Systems (ASYNC) Apr. 1997 pp. 76-86.
5. P. Kudva G. Gopalakrishnan E. Brunvand and V. Akella Performance analysis and optimization of asynchronous circuits in Proc. Int. Conf. Computer Design (ICCD) Oct. 1994 pp. 221-225.
6. A. Xie and P. A. Beerel Symbolic techniques for performance analysis of asynchronous systems based on average time separation of events in Proc. Int. Symp. Advanced Research in Asynchronous Circuits and Systems (ASYNC) Apr. 1997 pp. 64-75.
7. R. M. Karp A characterization of the minimum cycle mean in a diagraph Discrete Math. vol. 23 pp. 309-311 1978.
8. S. M. Burns Performance analysis and optimization of asynchronous circuits Ph.D. dissertation California Institute of Technology Pasadena CA 1991.
9. T. Lee A general approach to performance analysis and optimization of asynchronous circuits Ph.D. dissertation California Institute of Technology Pasadena CA 1995.
10. J. Teich L. Ghiele S. Sriram and M. Martin Performance analysis and optimization of mixed asynchronous synchronous systems IEEE Trans. Computer-Aided Design vol. 16 pp. 473-484 May 1997.
11. M. A. Holliday and M. Y. Vernon A generalized timed Petri net model for performance analysis IEEE Trans. Software Eng. vol. 13 pp. 1297-1310 Dec. 1987.
12. K. L. McMillan Symbolic Model Checking. Norwell MA: Kluwer 1993.
13. G. Rubino and B. Sericola Sojourn times in finite Markov process J. Appl. Probability vol. 27 pp. 744-756 1989.
14. W. J. Stewart An Introduction to the Numerical Solution of Markov Chains. Princeton NJ: Princeton Univ. Press 1994.
15. G. D. Hachtel E. Macii A. Pardo and F. Somenzi Markovian analysis of large finite state machines IEEE Trans. Computer-Aided Design vol. 15 pp. 1479-1493 Dec. 1996.
16. V. D. Ploeg Preconditioning techniques for large sparse nonsymmetric matrices with arbitrary sparsity patterns in Proc. IMACS Symp. Iterative Methods in Linear Algebra 1991 pp. 173-179.
17. G. W. Stewart Methods of simultaneous iteration for computing invariant subspaces of nonruminating matrices Numer. Math. vol. 25 pp. 123-136 1976.
18. A. M. Abdel-Moneim and F. W. Leysieffer Weak lumpability in finite Markov chains J. Appl. Probability vol. 19 pp. 685-691 1982.
19. G. Rubino and B. Sericola On weak lumpability in Markov chains J. Appl. Probability vol. 26 pp. 446-457 1989.
20. Y. Ho and X. Cao Perturbation Analysis of Discrete Event Dynamic Systems. Norwell MA: Kluwer 1991.
21. T. J. Chaney and C. E. Molnar Anomalous behavior of synchronizer and arbiter circuits IEEE Trans. Comput. vol. C-22 pp. 421-422 Apr. 1973.
22. M. R. Garey and D. S. Johnson Computers and Intractability: A Guide to the Theory of NP-Completeness. San Francisoc CA: Freeman 1979.
23. G. W. Smith Jr. and R. B. Walford The identification of a minimal feedback vertex set of a directed graph IEEE Trans. Circuits Syst. vol. CS-22 pp. 9-15 Jan. 1975.
24. K. Cheng and V. D. Agrawal A partial scan method for sequential circuits and feedback IEEE Trans. Comput. vol. 39 pp. 544-548 Apr. 1990.
25. 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 pp. 303-311.
26. P. A. Beerel C. Hsieh and S. Wadekar Energy estimation of speed-independent control circuits IEEE Trans. Computer-Aided Design vol. 15 pp. 672-680 June 1996.
27. L. Kleinrock Queueing Systems Volume I: Application. New York: Wiley 1975.
28. Y.-K. Chong and K. Hwang Performance analysis of four memory consistency models for multithreaded multiprocessors IEEE Trans. Parallel Distrib. Syst. vol. 6 pp. 1085-1099 Oct. 1995.
29. J. G. Kemeny and J. L. Snell Finite Markov Chains. Berlin Germany: Springer-Verlag 1976.
30. A. Xie and P. A. Beerel Efficient state classification of finite state Markov chains IEEE Trans. Computer-Aided Design vol. 17 pp. 1334-1338 Dec. 1998.
31. W.-C. Chou P. A. Beerel R. Ginsoar R. Kol C. J. Myers S. Rotem K. Stevens and K. Y. Yun Average-case optimized technology mapping of one-hot domino circuits in Proc. Int. Symp. Advanced Research in Asynchronous Circuits and Systems (ASYNC) Mar. 1998 pp. 80-91.
32. S. H. Unger Asynchronous Sequential Switching Circuits. New York: Wiley-Interscience 1969; re-issued. Malabar India: Krieger 1983).
33. A. Davis A data-driven machine architecture suitable for VLSI implementation in Proc. Caltech Conf. Very Large Scale Integration 1979 pp. 479-494.
34. S. M. Nowick and D. L. Dill Synthesis of asynchronous state machines using a local clock in Proc. Int. Conf. Computer Design (ICCD) Oct. 1991 pp. 192-197.
35. K. Y. Yun D. L. Dill and S. M. Nowick Synthesis of 3-D asynchronous state machines in Proc. International Conf. Computer Design (ICCD) Oct. 1992 pp. 346-350.
36. J. L. Peterson Petri Net Theory and the Modeling of Systems. Englewood Cliffs NJ: Prentice-Hall 1981.
37. L. Y. Rosenblum and A. V. Yakovlev Signal graphs: From self-timed to timed ones in Proc. Int. Workshop Timed Petri Nets Torino Italy July 1985 pp. 199-207.
38. T.-A. Chu Synthesis of self-timed VLSI circuits from graph-theoretic specifications Ph.D. dissertation Massachusetts Institute of Technology Cambridge MA 1987.
39. W. Belluomini and C. J. Myers Verification of timed systems using POSETS in Proc. Int. Workshop Computer-Aided Verification 1998 pp. 403-415.
40. J. C. Ebergen A formal approach to designing delay-insensitive circuits Distrib. Comput. vol. 3 no. 5 pp. 107-119 1991.
41. A. J. Martin Programming in VLSI: from communicating processes to delay-insensitive VLSI circuits in UT Year of Programming Institute on Concurrent Programming C. A. R. Hoare Ed. Reading MA: Addison-Wesley 1990 pp. 1-64.
42. C. A. R. Hoare Communicating Sequential Processes. Englewood Cliffs NJ: Prentice-Hall 1985.
43. M. A. Marsan G. Balbo and G. Conte A class of generalized stochastic Petri nets ACM Trans. Comput. Syst. vol. CS-12 pp. 93-122 May 1984.
44. M. K. Molloy Discrete time stochastic Petri nets IEEE Trans. Software Eng. vol. 11 pp. 417-423 Apr. 1985.
45. _ On the integration of delay and throughput measures in distributed processing models Ph.D. dissertation University of California Los Angeles CA 1981.
46. A. Xie and P. A. Beerel Analysis of variance in micropipelines EE-Systems Dept. Univ. Southern California Tech. Rep. CENG-TR-98-17 July 1998.
47. H. J. Kushner A control problem for a new type of public transportation system via heavy traffic analysis in The IMA Volumes in Mathematics and Its Applications: Stochastic Networks F. P. Kelly and R. J. Williams Eds. Berlin Germany: Springer-Verlag 1995 pp. 139-168.
48. R. Marculescu D. Marculescu and M. Pedram Logic level power estimation considering spatiotemporal correlations in Proc. International Conf. Computer-Aided Design (ICCAD) 1994 pp. 294-299.
49. K. Y. Yun P. A. Beerel V. Vakilotojar A. E. Dooply and J. Arceo A low-control-overhead asynchronous differential equation solver in Proc. Int. Symp. Advanced Research in Asynchronous Circuits and Systems (ASYNC) Apr. 1997 pp. 210-223.
50. K. Y. Yun and R. P. Donohue Pausible clocking: A first step toward heterogeneous systems in Proc. Int. Conf. Computer Design (ICCD) Oct. 1996 pp. 118-123.
51. V. G. Kulkarni Modeling and Analysis of Stochastic Systems. London U.K.: Chapman & Hall 1995.
52. L. Holden Private communication Dec. 1997 L. Holden is the research director of the Norwegian Computing Center at the University of Oslo.
53. J. S. Rosenthal Convergence rates for Markov chains SIAM Rev. vol. 37 pp. 387-405 1995.
54. R. I. Bahar E. A. Frohm C. M. Gaona and G. D. Hachtel Algebraic decision diagrams and their applications in Proc. International Conf. Computer-Aided Design (ICCAD). 1993 pp. 188-191.
55. R. Kurshan V. Levin M. Minea D. Peled and H. Yenigün Static partial order reduction in Tools and Algorithms for the Construction and Analysis of Systems LNCS1384. Berlin Germany: Springer-Verlag Mar. 1998 pp. 345-357.