{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T10:40:17Z","timestamp":1734950417557,"version":"3.32.0"},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2004,3,1]],"date-time":"2004-03-01T00:00:00Z","timestamp":1078099200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Des Autom Embed Syst"],"published-print":{"date-parts":[[2004,3]]},"DOI":"10.1007\/s10617-005-5344-5","type":"journal-article","created":{"date-parts":[[2005,2,14]],"date-time":"2005-02-14T17:38:16Z","timestamp":1108402696000},"page":"19-52","source":"Crossref","is-referenced-by-count":3,"title":["Power Estimation Using Probability Polynomials"],"prefix":"10.1007","volume":"9","author":[{"given":"Jos\ufffd","family":"Costa","sequence":"first","affiliation":[]},{"given":"Luis","family":"Silveira","sequence":"additional","affiliation":[]},{"given":"Srinivas","family":"Devadas","sequence":"additional","affiliation":[]},{"given":"Jos\ufffd","family":"Monteiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"CR1","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1109\/TC.1986.1676819","volume":"35","author":"R. Bryant","year":"1986","unstructured":"Bryant, R. Graph-Based Algorithms for Boolean Function Manipulation. IEEE Transactions on Computers, vol. 35, no. 8, pp. 677?691, 1986.","journal-title":"IEEE Transactions on Computers"},{"key":"CR2","unstructured":"Cheng, D. Power Estimation of Digital CMOS Circuits and the Application to Logic Synthesis for Low Power. PhD thesis, University of California at Santa Barbara, Dec. 1995."},{"key":"CR3","doi-asserted-by":"crossref","unstructured":"Chou, T.-L. and K. Roy. Statistical Estimation of Sequential Circuit Activity. In Proceedings of the IEEE International Conference on Computer-Aided Design, Nov. 1995, pp. 34?37.","DOI":"10.1109\/ICCAD.1995.479882"},{"key":"CR4","unstructured":"Cirit, M. Estimating Dynamic Power Consumption of CMOS Circuits. In Proceedings of the IEEE International Conference on Computer-Aided Design, Nov. 1987, pp. 534?537."},{"key":"CR5","doi-asserted-by":"crossref","unstructured":"Costa, J., J. Monteiro, and S. Devadas. Switching Activity Estimation Using Limited Depth Reconvergent Path Analysis. In Proceedings of the International Symposium on Low Power Electronics and Design, Aug. 1997, pp. 184?189.","DOI":"10.1145\/263272.263323"},{"key":"CR6","doi-asserted-by":"crossref","unstructured":"Favalli, M., and L. Benini. Analysis of Glitch Power Dissipation in CMOS ICs. In Proceedings of the International Symposium on Low Power Electronics and Design, April 1995, pp. 123-128.","DOI":"10.1145\/224081.224103"},{"key":"CR7","unstructured":"Glasser, L. and D. Dobberpuhl. The Design and Analysis of VLSI Circuits. Addison-Wesley, 1985."},{"key":"CR8","doi-asserted-by":"crossref","unstructured":"Kapoor, B. Improving the Accuracy of Circuit Activity Measurement. In International Workshop on Low Power Design, April 1994, pp. 111?116.","DOI":"10.1145\/196244.196629"},{"issue":"1","key":"CR9","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1145\/357062.357071","volume":"1","author":"T. Lengauer","year":"1979","unstructured":"Lengauer, T. and R. Tarjan. A Fast Algorithm for Finding Dominators in a Flowgraph. ACM Transactions on Programming Languages and Systems, vol. 1, no. 1, pp. 121?141, 1979.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"CR10","doi-asserted-by":"crossref","unstructured":"Marculescu, R., D. Marculescu, and M. Pedram. Switching Activity Analysis Considering Spatiotemporal Correlations. In Proceedings of the IEEE International Conference on Computer-Aided Design, Nov. 1994, pp. 294?299.","DOI":"10.1109\/ICCAD.1994.629783"},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"Monteiro, J. and S. Devadas. Computer-Aided Design Techniques for Low Power Sequential Logic Circuits. Kluwer Academic Publishers, 1996.","DOI":"10.1007\/978-1-4615-6319-8"},{"issue":"1","key":"CR12","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1109\/43.559336","volume":"16","author":"J. Monteiro","year":"1997","unstructured":"Monteiro, J., S. Devadas, A. Ghosh, K. Keutzer, and J. White. Estimation of Average Switching Activity in Combinational Logic Circuits Using Symbolic Simulation. IEEE Transactions on Computer-Aided Design, vol. 16, no. 1, pp. 121?127, 1997.","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"Najm, F. Transition Density, A Stochastic Measure of Activity in Digital Circuits. In Proceedings of the 28th Design Automation Conference, June 1991, pp. 644?649.","DOI":"10.1145\/127601.127744"},{"issue":"4","key":"CR14","doi-asserted-by":"crossref","first-page":"446","DOI":"10.1109\/92.335013","volume":"2","author":"F. Najm","year":"1994","unstructured":"Najm, F. A Survey of Power Estimation Techniques in VLSI Circuits (Invited Paper). IEEE Transactions on VLSI Systems, vol. 2, no. 4, pp. 446?455, 1994.","journal-title":"IEEE Transactions on VLSI Systems"},{"issue":"4","key":"CR15","doi-asserted-by":"crossref","first-page":"439","DOI":"10.1109\/43.45875","volume":"9","author":"F. Najm","year":"1990","unstructured":"Najm, F., R. Burch, P. Yang, and I. Hajj. Probabilistic Simulation for Reliability Analysis of CMOS VLSI Circuits. IEEE Transactions onComputer-Aided Design, vol. 9, no. 4, pp. 439?450, 1990.","journal-title":"IEEE Transactions on Computer-Aided Design"},{"key":"CR16","doi-asserted-by":"crossref","unstructured":"Najm, F., S. Goel, and I. Hajj. Power Estimation in Sequential Circuits. In Proceedings of the 32nd Design Automation Conference, June 1995, pp. 635?640.","DOI":"10.1145\/217474.217602"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Nebel, W., and J. Mermet (eds.). Low Power Design in Deep Submicron Electronics. Kluwer Academic Publishers, 1997.","DOI":"10.1007\/978-1-4615-5685-5"},{"issue":"6","key":"CR18","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1109\/T-C.1975.224279","volume":"C-24","author":"K. Parker","year":"1975","unstructured":"Parker, K. and E. McCluskey. Probabilistic Treatment of General Combinational Networks. IEEE Transactions on Electronic Computers, vol. C-24, no. 6, pp. 668?670, 1975.","journal-title":"IEEE Transactions on Electronic Computers"},{"key":"CR19","unstructured":"Seth, S.C., L. Pan, and V.D. Agrawal. PREDICT: Probabilistic Estimation of Digital Circuit Testability. In Proceedings of the Fault Tolerant Computing Symposium, June 1985, pp. 220?225."},{"issue":"3","key":"CR20","doi-asserted-by":"crossref","first-page":"404","DOI":"10.1109\/92.406998","volume":"3","author":"C.-Y. Tsui","year":"1995","unstructured":"Tsui, C.-Y., J. Monteiro, M. Pedram, S. Devadas, A. Despain, and B. Lin.Power Estimation Methods for Sequential Logic Circuits. IEEE Transactions on VLSI Systems, vol. 3, no. 3, pp. 404?416, 1995.","journal-title":"IEEE Transactions on VLSI Systems"},{"key":"CR21","doi-asserted-by":"crossref","unstructured":"Tsui, C.-Y., M. Pedram, and A. Despain. Efficient Estimation of Dynamic Power Dissipation under a Real Delay Model. In Proceedings of the IEEE International Conference on Computer-Aided Design, Nov. 1993, pp. 224?228.","DOI":"10.1109\/ICCAD.1993.580061"},{"key":"CR22","doi-asserted-by":"crossref","unstructured":"Uchino, T., F. Minami, T. Mitsuhashi, and N. Goto. Switching Activity Analysis using Boolean Approximation Method. In Proceedings of the IEEE International Conference on Computer-Aided Design, Nov. 1995, pp. 20?25.","DOI":"10.1109\/ICCAD.1995.479880"}],"container-title":["Design Automation for Embedded Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-005-5344-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10617-005-5344-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10617-005-5344-5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,23]],"date-time":"2024-12-23T09:43:37Z","timestamp":1734947017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10617-005-5344-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,3]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2004,3]]}},"alternative-id":["5344"],"URL":"https:\/\/doi.org\/10.1007\/s10617-005-5344-5","relation":{},"ISSN":["0929-5585","1572-8080"],"issn-type":[{"type":"print","value":"0929-5585"},{"type":"electronic","value":"1572-8080"}],"subject":[],"published":{"date-parts":[[2004,3]]}}}