{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T20:10:30Z","timestamp":1736539830356,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540390947"},{"type":"electronic","value":"9783540390978"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11847083_56","type":"book-chapter","created":{"date-parts":[[2006,9,6]],"date-time":"2006-09-06T13:54:06Z","timestamp":1157550846000},"page":"573-582","source":"Crossref","is-referenced-by-count":2,"title":["A Framework for Estimating Peak Power in Gate-Level Circuits"],"prefix":"10.1007","author":[{"given":"Diganchal","family":"Chakraborty","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. P.","family":"Chakrabarti","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arijit","family":"Mondal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"56_CR1","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1109\/43.124424","volume":"11","author":"S. Devadas","year":"1992","unstructured":"Devadas, S., Keutzer, K., White, J.: Estimation of Power Dissipation in CMOS Combinational Circuits Using Boolean Function Manipulation. IEEE Transactions on Computer Aided Design\u00a011(3), 373\u2013383 (1992)","journal-title":"IEEE Transactions on Computer Aided Design"},{"key":"56_CR2","unstructured":"Wang, C., Roy, K., Chou, T.: Maximum Power Estimation for Sequential Circuits Using a Test Generation Based Technique. In: Proceedings of the IEEE 1996, Custom Integrated Circuits Conference, pp. 229\u2013232 (1996)"},{"issue":"2-3","key":"56_CR3","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1023\/A:1008699807402","volume":"10","author":"R. Bahar","year":"1997","unstructured":"Bahar, R., et al.: Algebraic Decision Diagrams and their Applications. Formal Methods in System Design\u00a010(2-3), 171\u2013206 (1997)","journal-title":"Formal Methods in System Design"},{"key":"56_CR4","doi-asserted-by":"crossref","unstructured":"Manne, S., Pardo, A., Bahar, R., Hachtel, G., Somenzi, F., Macii, E., Poncino, M.: Computing the Maximum Power Cycles of a Sequential Circuit. In: Proceedings of the 32nd ACM\/IEEE conference on Design automation, pp. 23\u201328 (1995)","DOI":"10.1145\/217474.217501"},{"key":"56_CR5","doi-asserted-by":"crossref","unstructured":"Mondal, A., Chakrabarti, P.P., Mandal, C.R.: A New Approach to Timing Analysis using Event Propagation and Temporal Logic. In: Design, Automation and Test in Europe Conference and Exhibition Volume II (DATE 2004), pp. 1198\u20131203 (2004)","DOI":"10.1109\/DATE.2004.1269055"},{"issue":"3","key":"56_CR6","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/264995.264998","volume":"2","author":"H. Yalcin","year":"1997","unstructured":"Yalcin, H., Hayes, J.P.: Event Propagation Conditions in Circuit Delay Computation. ACM Transactions on Design Automation of Electronic Systems (TODAES)\u00a02(3), 249\u2013280 (1997)","journal-title":"ACM Transactions on Design Automation of Electronic Systems (TODAES)"},{"key":"56_CR7","unstructured":"Bergman, S., Eliezer, L.L.: A Fast Algorithm for MaxSAT Approximation. In: Proceedings of the Sixth International Conference on Theory and Applications of Satisfiability Testing, Portofino, Italy, pp. 424\u2013431 (2003)"},{"key":"56_CR8","doi-asserted-by":"crossref","unstructured":"Hstad, J.: Some Optimal Inapproximability results. In: Proceedings of the twenty-ninth annual ACM symposium on Theory of computing, pp. 1\u201310 (1997)","DOI":"10.1145\/258533.258536"},{"key":"56_CR9","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1016\/0022-0000(91)90023-X","volume":"43","author":"C.H. Papadimitriou","year":"1991","unstructured":"Papadimitriou, C.H., Yannakakis, M.: Optimization, approximation, and complexity classes. Journal of Computing and System Sciences\u00a043, 425\u2013440 (1991)","journal-title":"Journal of Computing and System Sciences"},{"key":"56_CR10","unstructured":"Somenzi, F.: Department of Electrical and Computer Engineering, University of Colorado at Boulder (Fabio@Colorado.EDU), CUDD: CU Decision Diagram Package Release 2.4.1, http:\/\/vlsi.colorado.edu\/~fabio\/CUDD\/cuddIntro.html"},{"key":"56_CR11","volume-title":"Artificial Intelligence : A New Synthesis","author":"N.J. Nilsson","year":"1998","unstructured":"Nilsson, N.J.: Artificial Intelligence: A New Synthesis. Elsevier, Amsterdam (1998)"},{"key":"56_CR12","doi-asserted-by":"crossref","unstructured":"Brglez, F., Bryan, D., Kozminski, K.: Combinational profiles of sequential benchmark circuits. In: Proceedings of the IEEE International Symposium on Circuits And Systems, pp. 1929\u20131934 (1998)","DOI":"10.1109\/ISCAS.1989.100747"}],"container-title":["Lecture Notes in Computer Science","Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11847083_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,10]],"date-time":"2025-01-10T19:39:58Z","timestamp":1736537998000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11847083_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540390947","9783540390978"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11847083_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}