{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T08:20:56Z","timestamp":1725524456248},"publisher-location":"Berlin, Heidelberg","reference-count":13,"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_25","type":"book-chapter","created":{"date-parts":[[2009,1,31]],"date-time":"2009-01-31T10:58:14Z","timestamp":1233399494000},"page":"247-257","source":"Crossref","is-referenced-by-count":4,"title":["Generating Worst-Case Stimuli for Accurate Power Grid Analysis"],"prefix":"10.1007","author":[{"given":"Pedro Marques","family":"Morgado","sequence":"first","affiliation":[]},{"given":"Paulo F.","family":"Flores","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 C.","family":"Monteiro","sequence":"additional","affiliation":[]},{"given":"L. Miguel","family":"Silveira","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"25_CR1","unstructured":"Power grid verification. Whitepaper, Cadence Design Systems, Inc. (2001)"},{"key":"25_CR2","doi-asserted-by":"crossref","unstructured":"Nassif, S.R., Kozhaya, J.N.: Fast power grid simulation. In: Proc. of ACM\/IEEE Design Automation Conf (DAC), ACM\/IEEE, pp. 156\u2013161 (June 2000)","DOI":"10.1145\/337292.337359"},{"key":"25_CR3","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1109\/ICCAD.2005.1560093","volume-title":"ICCAD 2005: Proceedings of the 2005 IEEE\/ACM Int. conference on Computer-aided design","author":"Y. Zhong","year":"2005","unstructured":"Zhong, Y., Wong, M.D.F.: Fast algorithms for ir drop analysis in large power grid. In: ICCAD 2005: Proceedings of the 2005 IEEE\/ACM Int. conference on Computer-aided design, pp. 351\u2013357. IEEE Computer Society, Los Alamitos (2005)"},{"key":"25_CR4","first-page":"387","volume-title":"IEEE Int. Conference on Computer Design: VLSI in Computers and Processors","author":"D. Chai","year":"2004","unstructured":"Chai, D., Kuehlmann, A.: Circuit-based preprocessing of ilp and its applications in leakage minimization and power estimation. In: IEEE Int. Conference on Computer Design: VLSI in Computers and Processors, pp. 387\u2013392. IEEE, Los Alamitos (2004)"},{"issue":"8","key":"25_CR5","doi-asserted-by":"publisher","first-page":"998","DOI":"10.1109\/43.402499","volume":"14","author":"H. Kriplani","year":"1995","unstructured":"Kriplani, H., Najm, F.N., Hajj, I.N.: Pattern independent maximum current estimation in power and ground buses of cmos vlsi circuits: algorithms, signal correlations, and their resolution. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems\u00a014(8), 998\u20131012 (1995)","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"25_CR6","doi-asserted-by":"crossref","unstructured":"Mangassarian, H., Veneris, A., Safarpour, S., Najm, F.N., Abadir, M.S.: Maximum circuit activity estimation using pseudo-boolean satisfiability. In: Proc. of Design, Automation and Test in Europe conference (DATE), pp. 1538\u20131543 (April 2007)","DOI":"10.1109\/DATE.2007.364519"},{"key":"25_CR7","doi-asserted-by":"crossref","unstructured":"Ghosh, A., Devadas, S., Keutzer, K., White, J.: Estimation of Average Switching Activity in Combinational and Sequential Circuits. In: Proceedings of the 29th Design Automation Conference, pp. 253\u2013259 (June 1992)","DOI":"10.1109\/DAC.1992.227826"},{"key":"25_CR8","doi-asserted-by":"crossref","unstructured":"Manquinho, V., Marques-Silva, J.: Effective Lower Bounding Techniques for Pseudo-Boolean Optimization. In: Proc. of Design, Automation and Test in Europe conference (DATE) (March 2005)","DOI":"10.1109\/DATE.2005.126"},{"key":"25_CR9","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume":"2919","author":"N. Een","year":"2004","unstructured":"Een, N., Sorensson, N.: An Extensible SAT-solver. Theory and Applications of Satisfiability Testing\u00a02919, 502\u2013518 (2004)","journal-title":"Theory and Applications of Satisfiability Testing"},{"key":"25_CR10","doi-asserted-by":"crossref","unstructured":"Breuer, M., Friedman, A.: 4. In: Diagnosis and Reliable Design of Digital Systems, Computer Science Press (1976)","DOI":"10.1007\/978-3-642-95424-5"},{"key":"25_CR11","doi-asserted-by":"crossref","unstructured":"Monteiro, J., Rinderknecht, J., Devadas, S., Ghosh, A.: Optimization of Combinational and Sequential Logic Circuits for Low Power Using Precomputation. In: Proceedings of the 1995 Chapel Hill Conference on Advanced Research on VLSI, pp. 430\u2013444 (March 1995)","DOI":"10.1109\/ARVLSI.1995.515637"},{"issue":"4","key":"25_CR12","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1145\/502175.502186","volume":"6","author":"P. Flores","year":"2001","unstructured":"Flores, P., Neto, H., Marques-Silva, J.: An Exact Solution to the Minimum Size Test Pattern Problem. ACM Transactions on Design Automation of Electronic Systems\u00a06(4), 629\u2013644 (2001)","journal-title":"ACM Transactions on Design Automation of Electronic Systems"},{"key":"25_CR13","unstructured":"Barth, P.: A Davis-Putnam Based Enumeration Algorithm for Linear Pseudo-Boolean Optimization. Technical report, Max-Planck-Institut F\u0171r Informatik (January 1995)"}],"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_25","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,4]],"date-time":"2019-03-04T23:11:26Z","timestamp":1551741086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-95948-9_25"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783540959472","9783540959489"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-95948-9_25","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}