{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,9]],"date-time":"2026-05-09T16:33:47Z","timestamp":1778344427755,"version":"3.51.4"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,1]],"date-time":"2023-11-01T00:00:00Z","timestamp":1698796800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2023,11]]},"DOI":"10.1109\/tcad.2023.3252467","type":"journal-article","created":{"date-parts":[[2023,3,3]],"date-time":"2023-03-03T18:22:51Z","timestamp":1677867771000},"page":"4270-4281","source":"Crossref","is-referenced-by-count":5,"title":["Automating the Generation of Programs Maximizing the Repeatable Constant Switching Activity in Microprocessor Units via MaxSAT"],"prefix":"10.1109","volume":"42","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7948-3361","authenticated-orcid":false,"given":"Nikolaos Ioannis","family":"Deligiannis","sequence":"first","affiliation":[{"name":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Faller","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1745-5293","authenticated-orcid":false,"given":"Riccardo","family":"Cantoro","sequence":"additional","affiliation":[{"name":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tobias","family":"Paxian","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4031-3258","authenticated-orcid":false,"given":"Bernd","family":"Becker","sequence":"additional","affiliation":[{"name":"Institute of Computer Science, University of Freiburg, Freiburg im Breisgau, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2899-7669","authenticated-orcid":false,"given":"Matteo Sonza","family":"Reorda","sequence":"additional","affiliation":[{"name":"Department of Control and Computer Engineering, Politecnico di Torino, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2017.8046231"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2015.2458869"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2015.0744"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/LATS53581.2021.9651819"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS52814.2021.9486708"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1007\/s10836-017-5693-6"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ATS49688.2020.9301557"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2007.13"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/VTS50974.2021.9441040"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927068"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ATS52891.2021.00025"},{"key":"ref33","first-page":"466","author":"tseitin","year":"1983","journal-title":"On the Complexity of Derivations in Prepositional Calculus"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229826"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/43.108614"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2007.40"},{"key":"ref1","first-page":"167","article-title":"Burn-in","author":"vollertsen","year":"1993","journal-title":"Proc IEEE Int Integr Rel Workshop"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS53253.2021.9505067"},{"key":"ref39","year":"2022","journal-title":"OpenRISC"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/DSD53832.2021.00086"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2016.2538800"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1992.227873"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/43.55194"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/CCECE.2002.1015257"},{"key":"ref23","first-page":"567","article-title":"Maximization of power dissipation under random excitation for burn-in testing","author":"huang","year":"1998","journal-title":"Proc Int Test Conf"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/EDTC.1997.582422"},{"key":"ref25","first-page":"623","article-title":"Extreme delay sensitivity and the worst-case switching activity in VLSI circuits","author":"farid","year":"1995","journal-title":"Proc 32nd Annu ACM\/IEEE Design Autom Conf"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/43.559336"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09426-7"},{"key":"ref41","year":"2022","journal-title":"Pulp"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/43.124424"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.23919\/FMCAD.2019.8894250"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/92.661255"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240837"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2006.1693238"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/43.936376"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MELCON.2010.5476223"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2006.50"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IMTC.2008.4547315"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2014.2380477"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RAM.2018.8463120"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1994.527998"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ITC44170.2019.9000147"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2004.1347849"},{"key":"ref40","year":"2022","journal-title":"Silvaco 45nm open cell library"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/10288105\/10058568.pdf?arnumber=10058568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,8]],"date-time":"2023-11-08T19:02:57Z","timestamp":1699470177000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10058568\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11]]},"references-count":44,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2023.3252467","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,11]]}}}