Stochastic sequential machine synthesis with application to constrained sequence generation

ACM Transactions on Design Automation of Electronic Systems

Volumn 5, Issue 3, 2000, Pages 658-681

  Marculescu, Diana ^a,d   Marculescu, Radu ^b,d   Pedram, Massoud ^c,e  

^a UNIVERSITY OF MARYLAND   (United States)

^b UNIVERSITY OF MINNESOTA   (United States)

^c UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^d CARNEGIE MELLON UNIVERSITY   (United States)

^e University of Southern California   (United States)

Author keywords

Algorithms; Design; Performance; Theory

Indexed keywords

EID: 23044522811     PISSN: 10844309     EISSN: None     Source Type: Journal    
DOI: 10.1145/348019.348566     Document Type: Article

References (22)

1. BARDELL, P. H., MCANNEY, W. H., AND SAVIR, J. 1987. Built in Test for VLSI: Pseudorandom Techniques. Wiley-Interscience, New York, NY.
2. CHOU, T.-L., ROY, K., AND PRASAD, S. 1994. Estimation of circuit activity considering signal correlations and simultaneous switching. In Proceedings of the 1994 IEEE/ACM International Conference on Computer-Aided Design (ICCAD '94, San Jose, CA, Nov. 6-10, 1994), J. A. G. Jess and R. Rudell, Eds. IEEE Computer Society Press, Los Alamitos, CA, 300-303.
3. DAVIS, A. 1961. Markov chains as random input automata. Am. Math. Monthly 68, 264-267.
4. FIDUCCIA, C. M. AND MATTHEYSES, R. M. 1982. A linear-time heuristic for improving network partitions. In Proceedings of the 19th ACM/IEEE Conference on Design Automation, ACM Press, New York, NY, 175-181.
5. GAREY, M. AND JOHNSON, D. 1979. Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman and Co., New York, NY.
6. GHOSH, A., DEVADAS, S., KEUTZER, K., AND WHITE, J. 1992. Estimation of average switching activity in combinational and sequential circuits. In Proceedings of the 29th ACM/IEEE Conference on Design Automation (DAC '92, Anaheim, CA, June 8-12), D. G. Schweikert, Ed. IEEE Computer Society Press, Los Alamitos, CA, 253-259.
7. GILL, A. 1962. Synthesis of probability transformers. J. Franklin Inst. 274, 1-19.
8. GILL, A. 1965. On a weight distribution problem with application to the design of stochastic generators. J. ACM 10 (Jan.), 110-121.
9. HUANG, C. X., ZHANG, B., DENG, A.-C., AND SWIRSKI, B. 1995. The design and implementation of PowerMill. In Proceedings of the 1995 International Symposium on Low Power Design (ISLPD-95, Dana Point, CA, Apr. 23-26), M. Pedram, R. Brodersen, and K. Keutzer, Eds. ACM Press, New York, NY, 105-110.
10. KERNIGHAN, B. AND LIN, S. 1970. An efficient heuristic procedure for partitioning graphs. Bell Syst. Tech. J. (Feb.), 291-307.
11. MARCULESCU, R., MARCULESCU, D., AND PEDRAM, M. 1998. Probabilistic modeling of dependencies during switching activity analysis. IEEE Trans. CAD/ICAS 17, 2 (Feb.), 73-83.
12. MONTEIRO, J. AND DEVADAS, S. 1995. Techniques for the power estimation of sequential logic circuits under user-specified input sequences and programs. In Proceedings of the 1995 International Symposium on Low Power Design (ISLPD-95, Dana Point, CA, Apr. 23-26), M. Pedram, R. Brodersen, and K. Keutzer, Eds. ACM Press, New York, NY, 33-38.
13. NAJM, F. N. 1991. Transition density, a stochastic measure of activity in digital circuits. In Proceedings of the 28th ACM/IEEE Conference on Design Automation (DAC '91, San Francisco, CA, June 17-21), A. R. Newton, Ed. ACM Press, New York, NY, 644-649.
14. PAPOULIS, A. 1984. Probability, Random Variables and Stochastic Processes. McGraw-Hill, Inc., New York, NY.
15. PAZ, A. 1971. Introduction to Probabilistic Automata. Academic Press, Inc., New York, NY.
16. PEDRAM, M. 1996. Power minimization in IC design: Principles and applications. ACM Trans. Des. Autom. Electron. Syst. 1, 1, 3-56.
17. RABIN, M. 1963. Probabilistic automata. Inf. Control 6, 230-245.
18. STORER, J. A., Ed. 1988. Chapter 1. In Data Compression: Methods and Theory Computer Science Press, Inc., New York, NY.
19. TSUI, C.-Y., PEDRAM, M., AND DESPAIN, A. M. 1993. Efficient estimation of dynamic power consumption under a real delay model. In Proceedings of the International Conference on Computer-Aided Design (ICCAD '93, Santa Clara, CA, Nov. 7-11), M. Lightner and J. A. G. Jess, Eds. IEEE Computer Society Press, Los Alamitos, CA, 224-228.
20. TSUI, C.-Y., MONTEIRO, J., PEDRAM, M., DEVADAS, S., DESPAIN, A. M., AND LIN, B. 1995. Power estimation methods for sequential logic circuits. IEEE Trans. Very Large Scale Integr. Syst. 3, 3 (Sept. 1995), 404-416.
21. VON NEUMANN, J. 1956. Probabilistic logics and synthesis of reliable organisms from unreliable components. Ann. Math. Stud. 34, 43-98.
22. WILKINSON, J. H., Ed. 1988. The Algebraic Eigenvalue Problem. Oxford University Press, Inc., New York, NY.