{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:00:38Z","timestamp":1757779238040,"version":"3.37.3"},"reference-count":36,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,2,1]],"date-time":"2020-02-01T00:00:00Z","timestamp":1580515200000},"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":[[2020,2]]},"DOI":"10.1109\/tcad.2018.2889770","type":"journal-article","created":{"date-parts":[[2018,12,25]],"date-time":"2018-12-25T19:39:02Z","timestamp":1545766742000},"page":"397-410","source":"Crossref","is-referenced-by-count":6,"title":["Logic Synthesis of Pass-Gate Logic Circuits With Emerging Ambipolar Technologies"],"prefix":"10.1109","volume":"39","author":[{"given":"Valerio","family":"Tenace","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5881-3811","authenticated-orcid":false,"given":"Andrea","family":"Calimera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9046-5618","authenticated-orcid":false,"given":"Enrico","family":"Macii","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1369-9688","authenticated-orcid":false,"given":"Massimo","family":"Poncino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"1","article-title":"An efficient manipulation package for biconditional binary decision diagrams","author":"amar\u00fa","year":"2014","journal-title":"Proc DATE"},{"journal-title":"ABC A System for Sequential Synthesis and Verification","year":"2014","author":"synthesis","key":"ref32"},{"journal-title":"An Introduction to Genetic Algorithms","year":"1996","author":"melanie","key":"ref31"},{"journal-title":"Format for Physical Description of Programmable Logic Arrays","year":"2015","key":"ref30"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2015.05.018"},{"journal-title":"Logic Synthesis and Optimization Benchmarks User Guide Version 3 0","year":"1991","author":"yang","key":"ref35"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488484"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2015.2415177"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms1682"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2014.49"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2016.2624145"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2005.853601"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744880"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.211"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2010.2085250"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.98.236803"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/43.277608"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevLett.98.206805"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1049\/el:19950377"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1126\/science.1145799"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2460377"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090894"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1021\/nl102756r"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/S1369-7021(06)71539-5"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1147\/rd.504.0433"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TMAG.2012.2197186"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/4.597298"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2012.6479004"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2012.6139231"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837496"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevB.74.041403"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1016\/j.sse.2014.06.010"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6641\/aa5581"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/12.45212"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.185"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/8964044\/08588316.pdf?arnumber=8588316","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:07:07Z","timestamp":1651068427000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8588316\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,2]]},"references-count":36,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2018.2889770","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"type":"print","value":"0278-0070"},{"type":"electronic","value":"1937-4151"}],"subject":[],"published":{"date-parts":[[2020,2]]}}}