{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,1]],"date-time":"2025-02-01T05:22:14Z","timestamp":1738387334396,"version":"3.35.0"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705437"},{"type":"electronic","value":"9783540705451"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70545-1_42","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"433-445","source":"Crossref","is-referenced-by-count":2,"title":["Functional Verification of Power Gated Designs by Compositional Reasoning"],"prefix":"10.1007","author":[{"given":"Cindy","family":"Eisner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amir","family":"Nahir","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karen","family":"Yorav","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"42_CR1","doi-asserted-by":"crossref","unstructured":"Baumgartner, J., Mony, H., Paruthi, V., Kanzelman, R., Janssen, G.: Scalable sequential equivalence checking across arbitrary design transformations. In: ICCD 2006 (October 2006)","DOI":"10.1109\/ICCD.2006.4380826"},{"key":"42_CR2","volume-title":"Low Power Methodology Manual","author":"M. Keating","year":"2007","unstructured":"Keating, M., Flynn, D., Aitken, R., Gibbons, A., Shi, K.: Low Power Methodology Manual. Springer, US (2007)"},{"key":"42_CR3","doi-asserted-by":"crossref","unstructured":"Khasidashvili, Z., Skaba, M., Kaiss, D., Hanna, Z.: Theoretical framework for compositional sequential hardware equivalence verification in presence of design constraints. In: ICCAD 2004, pp. 58\u201365 (2004)","DOI":"10.1109\/ICCAD.2004.1382543"},{"key":"42_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/BFb0028738","volume-title":"Computer Aided Verification","author":"K.L. McMillan","year":"1998","unstructured":"McMillan, K.L.: Verification of an implementation of Tomasulo\u2019s algorithm by compositional model checking. In: Vardi, M.Y. (ed.) CAV 1998. LNCS, vol.\u00a01427, pp. 110\u2013121. Springer, Heidelberg (1998)"},{"issue":"12","key":"42_CR5","doi-asserted-by":"publisher","first-page":"1469","DOI":"10.1109\/43.180261","volume":"11","author":"C. Pixley","year":"1992","unstructured":"Pixley, C.: A theory and implementation of sequential hardware equivalence. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a011(12), 1469\u20131478 (1992)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"42_CR6","unstructured":"RuleBasePE, http:\/\/www.haifa.ibm.com\/projects\/verification\/RB_Homepage\/"},{"issue":"7","key":"42_CR7","doi-asserted-by":"publisher","first-page":"814","DOI":"10.1109\/43.851997","volume":"19","author":"C.A.J. Eijk van","year":"2000","unstructured":"van Eijk, C.A.J.: Sequential equivalence checking based on structural similarities. IEEE Trans. on CAD of Integrated Circuits and Systems\u00a019(7), 814\u2013819 (2000)","journal-title":"IEEE Trans. on CAD of Integrated Circuits and Systems"},{"key":"42_CR8","volume-title":"Comprehensive Functional Verification - The Complete Industry Cycle","author":"B. Wile","year":"2005","unstructured":"Wile, B., Goss, J.C., Roesner, W.: Comprehensive Functional Verification - The Complete Industry Cycle. Elsevier, Amsterdam (2005)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70545-1_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,31]],"date-time":"2025-01-31T12:12:41Z","timestamp":1738325561000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70545-1_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705437","9783540705451"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70545-1_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}