{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T16:52:54Z","timestamp":1758127974224},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/afrcon.2013.6757781","type":"proceedings-article","created":{"date-parts":[[2014,3,7]],"date-time":"2014-03-07T17:15:04Z","timestamp":1394212504000},"page":"1-5","source":"Crossref","is-referenced-by-count":12,"title":["Managing digital-system power at the system level"],"prefix":"10.1109","author":[{"given":"Dominik","family":"Macko","sequence":"first","affiliation":[]},{"given":"Katarina","family":"Jelemenska","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"IEEE Standard for Design and Verification of Low Power Integrated Circuits","year":"2009","key":"3"},{"journal-title":"The International Technology Roadmap for Semiconductors Design ITRS","year":"2011","key":"2"},{"journal-title":"Low Power Design and Verification Techniques","year":"2007","author":"bailey","key":"1"},{"key":"7","article-title":"Behavioral specification model and language for digital systems","author":"fristacky","year":"2000","journal-title":"Technical Report"},{"journal-title":"A Practical Guide to Low-Power Design-User Experience with CPF","year":"2012","key":"6"},{"journal-title":"Low Power Design","year":"2013","author":"goering","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2012.2183574"},{"key":"9","first-page":"228","article-title":"Low power verification methodology using UPF","author":"bembaron","year":"2009","journal-title":"Proc of Design and Verification Conference and Exhibition"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3281-8_17"}],"event":{"name":"AFRICON 2013","start":{"date-parts":[[2013,9,9]]},"location":"Pointe-Aux-Piments, Mauritius","end":{"date-parts":[[2013,9,12]]}},"container-title":["2013 Africon"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6746871\/6757586\/06757781.pdf?arnumber=6757781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T17:22:50Z","timestamp":1490289770000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6757781\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/afrcon.2013.6757781","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}