{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T21:32:49Z","timestamp":1726003969110},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030022143"},{"type":"electronic","value":"9783030022150"}],"license":[{"start":{"date-parts":[[2018,12,20]],"date-time":"2018-12-20T00:00:00Z","timestamp":1545264000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-02215-0_6","type":"book-chapter","created":{"date-parts":[[2018,12,19]],"date-time":"2018-12-19T00:01:12Z","timestamp":1545177672000},"page":"107-127","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Methodology for Automated Consistency Checking Between Different Power-Aware Descriptions"],"prefix":"10.1007","author":[{"given":"Arthur","family":"Kalsing","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Fesquet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chouki","family":"Aktouf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,12,20]]},"reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"A. Chichignoud, F. Noyrit, L. Maillet-Contoz, F. Terrier, Use of architecture description to maintain consistency in agile processes, in Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2017), 2015, pp. 459\u2013466","DOI":"10.5220\/0006207804590466"},{"key":"6_CR2","first-page":"112117","volume":"58","author":"C Dejours","year":"1994","unstructured":"C. Dejours, D. Dessors, P. Molinier, Comprendre la rsistance au changement. Doc. Mdecin Trav. 58, 112117 (1994)","journal-title":"Doc. Mdecin Trav."},{"key":"6_CR3","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1007\/978-1-4612-5695-3_12","volume-title":"On the role of scientific thought, in Selected Writings on Computing: A Personal Perspective","author":"EW Dijkstra","year":"1982","unstructured":"E.W. Dijkstra, On the role of scientific thought, in Selected Writings on Computing: A Personal Perspective (Springer, New York, 1982), pp. 60\u201366"},{"key":"6_CR4","unstructured":"R. Fajardo, Minimal OpenRISC System on Chip user manual. Open-Cores.org (2010)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"E. Garat, D. Coriat, E. Beign, L. Stefanazzi, Unified power format (UPF) methodology in a vendor independent flow, in 2015 25th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), Sept 2015, pp. 82\u201388","DOI":"10.1109\/PATMOS.2015.7347591"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"V. Gourisetty, H. Mahmoodi, V. Melikyan, E. Babayan, R. Goldman, K. Holcomb, T. Wood, Low power design flow based on unified power format and synopsys tool chain, in 2013 3rd Interdisciplinary Engineering Design Education Conference, Mar 2013, pp. 28\u201331","DOI":"10.1109\/IEDEC.2013.6526754"},{"issue":"1","key":"6_CR7","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/TVLSI.2011.2180548","volume":"21","author":"A Hazra","year":"2013","unstructured":"A. Hazra, S. Goyal, P. Dasgupta, A. Pal, Formal verification of architectural power intent. IEEE Trans. Very Large Scale Integr. VLSI Syst. 21(1), 78\u201391 (2013)","journal-title":"IEEE Trans. Very Large Scale Integr. VLSI Syst."},{"key":"6_CR8","unstructured":"IEEE Standard for Verilog Hardware Description Language, IEEE Std 1364\u20132005 (Revision of IEEE Std 1364\u20132001) (2006) pp. 0-560"},{"key":"6_CR9","unstructured":"IEEE Standard for Design and Verification of Low-Power, Energy-Aware Electronic Systems, IEEE Std 1801\u20132015 (Revision of IEEE Std 1801\u20132013), Mar 2016, pp. 1\u2013515"},{"key":"6_CR10","volume-title":"Low Power Methodology Manual: For System-on-Chip Design","author":"M Keating","year":"2007","unstructured":"M. Keating, D. Flynn, R. Aitken, A. Gibbons, K. Shi, Low Power Methodology Manual: For System-on-Chip Design (Springer Publishing Company, Incorporated, New York, 2007)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"R.R. Kulkarni, S.Y. Kulkarni, Energy efficient implementation, power aware simulation and verification of 16-bit ALU using unified power format standards, in 2014 International Conference on Advances in Electronics Computers and Communications, Oct 2014, pp. 1\u20136","DOI":"10.1109\/ICAECC.2014.7002460"},{"key":"6_CR12","unstructured":"D. Lampret, OpenRISC 1200 IP Core Specification Rev. 0.7, Open-Cores.org (2001)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"S. Mandal, A.B.D. Costa, A. Hazra, P. Dasgupta, B. Naware, R.M. Chunduri, S. Basu, Formal verification of power management logic with mixed-signal domains, in 2017 30th International Conference on VLSI Design and 2017 16th International Conference on Embedded Systems (VLSID), Jan 2017, pp. 239\u2013244","DOI":"10.1109\/VLSID.2017.43"},{"key":"6_CR14","unstructured":"A. Varanasi, Course Grained Low Power Design Flow Using UPF, Rochester Institute of Technology, Aug 2009"}],"container-title":["Lecture Notes in Electrical Engineering","Languages, Design Methods, and Tools for Electronic System Design"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02215-0_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,12]],"date-time":"2019-11-12T12:44:39Z","timestamp":1573562679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02215-0_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,12,20]]},"ISBN":["9783030022143","9783030022150"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02215-0_6","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2018,12,20]]}}}