{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,30]],"date-time":"2025-10-30T22:20:26Z","timestamp":1761862826347},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540959472"},{"type":"electronic","value":"9783540959489"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-540-95948-9_40","type":"book-chapter","created":{"date-parts":[[2009,1,31]],"date-time":"2009-01-31T10:58:14Z","timestamp":1233399494000},"page":"399-408","source":"Crossref","is-referenced-by-count":1,"title":["Disjoint Region Partitioning for Probabilistic Switching Activity Estimation at Register Transfer Level"],"prefix":"10.1007","author":[{"given":"Felipe","family":"Machado","sequence":"first","affiliation":[]},{"given":"Teresa","family":"Riesgo","sequence":"additional","affiliation":[]},{"given":"Yago","family":"Torroja","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","unstructured":"ITRS: International Roadmap for Semiconductors (2007), http:\/\/public.itrs.net"},{"key":"40_CR2","doi-asserted-by":"publisher","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 Trans. on Computers\u00a035, 677\u2013691 (1986)","journal-title":"IEEE Trans. on Computers"},{"key":"40_CR3","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1109\/T-C.1975.224279","volume":"24","author":"K. Parker","year":"1975","unstructured":"Parker, K., McCluskey, E.: Probabilistic Treatment of General Combinational Networks. IEEE Trans. on Computer\u00a024, 668\u2013670 (1975)","journal-title":"IEEE Trans. on Computer"},{"key":"40_CR4","unstructured":"Seth, S., Pan, L., Agrawal, V.: PREDICT - Probabilistic Estimation of Digital Circuit Testability. In: Int. Fault Tolerant Computing Symposium, USA (1985)"},{"key":"40_CR5","doi-asserted-by":"crossref","unstructured":"Ghosh, A., Devadas, S., Keutzer, K., White, J.: Estimation of Average Switching Activity in Combinational and Sequential Circuits. In: Design Automation Conference, USA (1992)","DOI":"10.1109\/DAC.1992.227826"},{"key":"40_CR6","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1109\/54.485785","volume":"12","author":"P. Schneider","year":"1996","unstructured":"Schneider, P., Schlichtmann, U., Wurth, B.: Fast Power Estimation of Large Circuits. IEEE Design & Test of Computers\u00a012, 70\u201378 (1996)","journal-title":"IEEE Design & Test of Computers"},{"key":"40_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/43.681258","volume":"17","author":"R. Marculescu","year":"1998","unstructured":"Marculescu, R., Marculescu, D., Pedram, M.: Probabilistic Modeling of Dependencies during Switching Activity Analysis. IEEE Trans. on CAD of ICs and Systems\u00a017, 73\u201383 (1998)","journal-title":"IEEE Trans. on CAD of ICs and Systems"},{"key":"40_CR8","doi-asserted-by":"crossref","unstructured":"Agrawal, V., Seth, S.: Mutually Disjoint Signals and Probability Calculation in Digital Circuits. In: Great Lakes Symposium on VLSI, USA (1998)","DOI":"10.1109\/GLSV.1998.665282"},{"key":"40_CR9","doi-asserted-by":"crossref","unstructured":"Bhanja, S., Ranganathan, N.: Dependency Preserving Probabilistic Modeling of Switching Activity using Bayesian Networks. In: Design Automation Conference, USA (2001)","DOI":"10.1145\/378239.378465"},{"key":"40_CR10","doi-asserted-by":"crossref","unstructured":"Fernandes, J., Santos, M., Oliveira, A., Teixeira, J.: A Probabilistic Method for the Computation of Testability of RTL Constructs. In: Design, Automation and Test in Europe Conference, France (2004)","DOI":"10.1109\/DATE.2004.1268845"},{"key":"40_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"645","DOI":"10.1007\/11847083_63","volume-title":"Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation","author":"F. Machado","year":"2006","unstructured":"Machado, F., Riesgo, T., Torroja, Y.: A Method for Switching Activity Analysis of VHDL-RTL Combinatorial Circuits. In: Vounckx, J., Az\u00e9mard, N., Maurine, P. (eds.) PATMOS 2006. LNCS, vol.\u00a04148, pp. 645\u2013657. Springer, Heidelberg (2006)"},{"key":"40_CR12","unstructured":"Machado, F., Abril, A., Torroja, Y., Riesgo, T.: An Activity Estimation Tool for VHDL-RTL Combinational Circuits. In: Design of Circuits and Integrated Circuits, Spain (2006)"},{"key":"40_CR13","unstructured":"Brglez, F., Fujiwara, H.: Neutral Netlist of 10 Combinational Benchmark Circuits and a Target Translator in Fortran. In: Int. Symposium of Circuits and Systems, Japan (1985)"},{"key":"40_CR14","unstructured":"http:\/\/www.vhdl.org\/rassp\/vhdl\/models\/MSI\/synth_models"},{"key":"40_CR15","unstructured":"Oregano, Oregano Systems, http:\/\/www.oregano.at\/ip\/8051.htm"},{"key":"40_CR16","doi-asserted-by":"crossref","unstructured":"Machado, F., Torroja, Y., Riesgo, T.: A BDD Proposal for Probabilistic Switching Activity Estimation. In: Design of Circuits and Integrated System Conference, France (2008)","DOI":"10.1166\/jolpe.2008.180"}],"container-title":["Lecture Notes in Computer Science","Integrated Circuit and System Design. Power and Timing Modeling, Optimization and Simulation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-95948-9_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T14:24:11Z","timestamp":1558103051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95948-9_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540959472","9783540959489"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95948-9_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}