{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:15:25Z","timestamp":1725714925063},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/memcod.2015.7340484","type":"proceedings-article","created":{"date-parts":[[2015,12,3]],"date-time":"2015-12-03T16:13:03Z","timestamp":1449159183000},"page":"169-178","source":"Crossref","is-referenced-by-count":2,"title":["Reducing power with activity trigger analysis"],"prefix":"10.1109","author":[{"given":"Jan","family":"Lanik","sequence":"first","affiliation":[]},{"given":"Julien","family":"Legriel","sequence":"additional","affiliation":[]},{"given":"Erwan","family":"Piriou","sequence":"additional","affiliation":[]},{"given":"Emmanuel","family":"Viaud","sequence":"additional","affiliation":[]},{"given":"Fahim","family":"Rahim","sequence":"additional","affiliation":[]},{"given":"Oded","family":"Maler","sequence":"additional","affiliation":[]},{"given":"Solaiman","family":"Rahim","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2009.5351118"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629957"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2015.7085428"},{"key":"ref13","first-page":"1078","article-title":"Interactive presentation: Powerquest: trace driven data mining for power optimization","author":"babighian","year":"2007","journal-title":"Proceedings of the conference on Design automation and test in Europe (DATE) EDA Consortium"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-95948-9_6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/32.908957"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065786"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-15648-8_16"},{"journal-title":"Temporal Verification of Reactive Systems Safety","year":"2012","author":"manna","key":"ref18"},{"article-title":"ABC: A system for sequential synthesis and verification","year":"0","author":"synthesis","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/323480.323482"},{"journal-title":"Dynamic Power Management Design Techniques and CAD Tools","year":"2012","author":"benini","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2004.1268895"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/43.728924"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/1594233.1594266"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391638"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/4.126534"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1391469.1391637"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCA.2005.33"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"ABC: an academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Proceedings of the 22nd Computer Aided Verification International Conference (CAV)"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1007\/978-3-642-18275-4_7","article-title":"Sat-based model checking without unrolling","author":"bradley","year":"2011","journal-title":"Verification Model Checking and Abstract Interpretation"},{"key":"ref21","first-page":"125","article-title":"Efficient implementation of property directed reachability","author":"een","year":"2011","journal-title":"Formal Methods in Computer-Aided Design (FMC AD) 2011 IEEE"},{"key":"ref24","first-page":"600","article-title":"On resolution proofs for combinational equivalence","author":"chatterjee","year":"2007","journal-title":"Proceedings of the 44th Design Automation Conference DAC 2007 San Diego CA USA June 4–8 2007"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-49059-0_14"},{"year":"2005","key":"ref25","first-page":"231"}],"event":{"name":"2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)","start":{"date-parts":[[2015,9,21]]},"location":"Austin, TX, USA","end":{"date-parts":[[2015,9,23]]}},"container-title":["2015 ACM\/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7329076\/7340456\/07340484.pdf?arnumber=7340484","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,2]],"date-time":"2019-09-02T01:17:34Z","timestamp":1567387054000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7340484\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/memcod.2015.7340484","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}