{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,27]],"date-time":"2026-05-27T18:30:18Z","timestamp":1779906618178,"version":"3.53.1"},"reference-count":151,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2015,11,1]],"date-time":"2015-11-01T00:00:00Z","timestamp":1446336000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/OAPA.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Proc. IEEE"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/jproc.2015.2460377","type":"journal-article","created":{"date-parts":[[2015,8,20]],"date-time":"2015-08-20T18:38:43Z","timestamp":1440095923000},"page":"2168-2195","source":"Crossref","is-referenced-by-count":57,"title":["New Logic Synthesis as Nanotechnology Enabler"],"prefix":"10.1109","volume":"103","author":[{"given":"Luca","family":"Amaru","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Pierre-Emmanuel","family":"Gaillardon","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Subhasish","family":"Mitra","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Giovanni","family":"De Micheli","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","author":"nielsen","year":"2000","journal-title":"Quantum Computation and Quantum Information"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1147\/rd.176.0525"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.spmi.2005.07.001"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1063\/1.2834714"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1021\/ja045124g"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/adma.200602922"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1126\/science.1120506"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1126\/science.284.5412.289"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2013.2252317"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1063\/1.3609062"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1063\/1.2235947"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1038\/nmat978"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1038\/ncomms2785"},{"key":"ref20","article-title":"A 16 Gb ReRAM with 200 MB\/s write and 1 GB\/s read in 27 nm technology","author":"fackenthal","year":"2014","journal-title":"ISSCC Tech Dig"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2190369"},{"key":"ref21","article-title":"A 4 Mb embedded SLC resistive-RAM macro with 7.2 ns read-write random-access time and 160 ns MLC-access capability","author":"sheu","year":"2011","journal-title":"ISSCC Tech Dig"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1088\/0957-4484\/23\/30\/305205"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1038\/nmat2748"},{"key":"ref101","article-title":"Kurt, DAGON: Technology binding and local optimization by DAG matching","author":"keutzer","year":"1987","journal-title":"Design Autom Conf (DAC)"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1002\/adma.200400309"},{"key":"ref100","first-page":"41","article-title":"Optimizing synchronous systems","volume":"1","author":"leiserson","year":"1983","journal-title":"J VLSI Comput Syst"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1063\/1.1995958"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090705"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629995"},{"key":"ref150","doi-asserted-by":"publisher","DOI":"10.1109\/JXCDC.2015.2418033"},{"key":"ref151","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2014.2361767"},{"key":"ref146","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1007\/3-540-10003-2_104","article-title":"Reversible computing","author":"toffoli","year":"1980","journal-title":"Automata Languages and Programming"},{"key":"ref147","doi-asserted-by":"publisher","DOI":"10.1007\/BF01857727"},{"key":"ref148","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.32.3266"},{"key":"ref149","doi-asserted-by":"publisher","DOI":"10.1021\/nl4016107"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1038\/nnano.2012.40"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2187527"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/2600073"},{"key":"ref56","author":"bobba","year":"2013","journal-title":"Design Methodologies and CAD for Emerging Nanotechnologies"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090741"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2187527"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105330"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2009.2016562"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1364\/OL.12.000542"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2012.6479004"},{"key":"ref3","author":"ham","year":"2000","journal-title":"Principles of Neurocomputing for Science and Engineering"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1021\/nl203094h"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/LED.2014.2329919"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2005.851427"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090741"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1126\/science.1238630"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2007.911051"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2066530"},{"key":"ref45","doi-asserted-by":"crossref","first-page":"514","DOI":"10.1108\/17563781011066756","article-title":"Approximate reasoning on a DNA-chip","volume":"3","author":"kumar","year":"2010","journal-title":"Int J Intell Comput ybern"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2009.5424364"},{"key":"ref47","article-title":"High performance 5 nm radius twin silicon nanowire mosfet (tsnwfet): Fabrication on bulk si wafer, characteristics, reliability","author":"suk","year":"2005","journal-title":"IEDM Tech Dig"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1088\/0957-4484\/4\/1\/002"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1038\/nphys1636"},{"key":"ref43","article-title":"Molecule for electronics: A myriad of opportunities comes with daunting challenges","volume":"1","author":"ranjit","year":"2012","journal-title":"J Nanomater Molecular Nanotechnol"},{"key":"ref127","year":"0","journal-title":"BBDD Package"},{"key":"ref126","doi-asserted-by":"publisher","DOI":"10.1109\/JETCAS.2014.2361058"},{"key":"ref125","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.211"},{"key":"ref124","doi-asserted-by":"publisher","DOI":"10.7873\/DATE2014.309"},{"key":"ref73","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837497"},{"key":"ref72","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629933"},{"key":"ref129","article-title":"Boolean logic optimization in majority-inverter graphs","author":"amaru","year":"2015","journal-title":"Design Autom Conf (DAC)"},{"key":"ref71","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2009.2023197"},{"key":"ref128","doi-asserted-by":"publisher","DOI":"10.1145\/2593069.2593158"},{"key":"ref70","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2012.2223467"},{"key":"ref76","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2415492"},{"key":"ref130","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5139-3"},{"key":"ref77","doi-asserted-by":"publisher","DOI":"10.1021\/nl203094h"},{"key":"ref74","doi-asserted-by":"publisher","DOI":"10.1109\/VLSIT.2010.5556242"},{"key":"ref75","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488864"},{"key":"ref133","year":"0","journal-title":"An Iterative Decoder for Product Code—From Open Cores"},{"key":"ref134","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2015.21"},{"key":"ref131","doi-asserted-by":"publisher","DOI":"10.1109\/18.485714"},{"key":"ref78","doi-asserted-by":"publisher","DOI":"10.1038\/nature04796"},{"key":"ref132","doi-asserted-by":"publisher","DOI":"10.1109\/GLOCOM.1999.831724"},{"key":"ref79","doi-asserted-by":"publisher","DOI":"10.1351\/PAC-CON-10-07-06"},{"key":"ref136","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2014.6880475"},{"key":"ref135","year":"0","journal-title":"RevLib is an Online Resource for Benchmarks Within the Domain of Reversible and Quantum Circuit Design"},{"key":"ref138","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2015.7059012"},{"key":"ref137","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2014.99"},{"key":"ref60","year":"2008","journal-title":"Nano-Electro-Mechanical Switches"},{"key":"ref139","article-title":"Computing secrets on a resistive memory array","author":"gaillardon","year":"2015","journal-title":"Design Autom Conf (DAC)"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/TNANO.2013.2290945"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2010.2063411"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1021\/nl9037517"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1038\/nature12502"},{"key":"ref140","article-title":"PRESENT: An ultra-lightweight block cipher","author":"bogdanov","year":"2007","journal-title":"CHES Tech Dig"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2014.7047164"},{"key":"ref141","article-title":"Exploiting the expressive power of graphene reconfigurable gates via post-synthesis optimization","author":"miryala","year":"0","journal-title":"GLVSLI'15"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2014.7047120"},{"key":"ref142","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744880"},{"key":"ref67","first-page":"112","article-title":"Experimental demonstration of a fully digital capacitive sensor interface build entirely using carbon nanotube FETs","author":"shulaker","year":"0","journal-title":"Proc Int Solid State Circuits Conf"},{"key":"ref143","doi-asserted-by":"publisher","DOI":"10.1063\/1.4898042"},{"key":"ref68","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2013.2282092"},{"key":"ref144","doi-asserted-by":"publisher","DOI":"10.1038\/srep06354"},{"key":"ref2","author":"farhi","year":"2000","journal-title":"Quantum Computation by Adiabatic Evolution"},{"key":"ref69","doi-asserted-by":"publisher","DOI":"10.1109\/TSM.2009.2031789"},{"key":"ref145","doi-asserted-by":"publisher","DOI":"10.1038\/nature10713"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1098\/rspa.1985.0070"},{"key":"ref109","doi-asserted-by":"publisher","DOI":"10.1109\/43.144847"},{"key":"ref95","article-title":"Technology optimization for high energy-efficiency computation","author":"chang","year":"0","journal-title":"Short Course IEEE Intl Electron Devices Meeting (IEEE 2012)"},{"key":"ref108","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1991.185319"},{"key":"ref94","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2009.5424281"},{"key":"ref107","first-page":"502","article-title":"Observability dont care sets and boolean relations","author":"damiani","year":"0","journal-title":"Proc IEEE Int Conf Comput - Aided Design"},{"key":"ref93","doi-asserted-by":"publisher","DOI":"10.1021\/nl203701g"},{"key":"ref106","article-title":"The yorktown silicon compiler","author":"brayton","year":"1985","journal-title":"ISCAS"},{"key":"ref92","doi-asserted-by":"crossref","first-page":"1317","DOI":"10.1126\/science.1065824","article-title":"Logic circuits with carbon nanotube transistors","volume":"294","author":"bachtold","year":"2001","journal-title":"Science"},{"key":"ref105","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270347"},{"key":"ref91","doi-asserted-by":"crossref","DOI":"10.1038\/29954","article-title":"Room-temperature transistor based on a single carbon nanotube","volume":"393","author":"tans","year":"1998","journal-title":"Nature"},{"key":"ref104","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1987.1270318"},{"key":"ref90","doi-asserted-by":"crossref","DOI":"10.1142\/p080","author":"saito","year":"1998","journal-title":"Physical Properties of Carbon Nanotubes"},{"key":"ref103","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-52148-8_30"},{"key":"ref102","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264996"},{"key":"ref111","author":"sentovich","year":"1992","journal-title":"SIS A system for sequential circuit synthesis"},{"key":"ref112","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.1013899"},{"key":"ref110","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.1986.1270230"},{"key":"ref98","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1978.1675141"},{"key":"ref99","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1986.1676819"},{"key":"ref96","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1956.tb03835.x"},{"key":"ref97","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1959.tb01585.x"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1126\/science.1220527"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1038\/nnano.2010.89"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/smll.201100318"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1063\/1.3280042"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.nantod.2010.12.001"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"653","DOI":"10.1109\/TCAD.2012.2232707","article-title":"Combinational logic design using six-terminal NEM relays","volume":"32","author":"lee","year":"2013","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"key":"ref118","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120848"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2010.2074370"},{"key":"ref82","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2006.346841"},{"key":"ref117","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1997.643371"},{"key":"ref17","article-title":"16 Gb ReRAM with 200 MB\/s Write and 1 GB\/s Read in 27 nm Technology","author":"fackenthal","year":"2014","journal-title":"ISSCC Tech Dig"},{"key":"ref81","article-title":"15 nm-diameter 3D stacked nanowires with independent gates operation","author":"dupre","year":"2008","journal-title":"IEDM Tech Dig"},{"key":"ref18","article-title":"4 Mb embedded SLC resistive-RAM macro with 7.2 ns read-write random-access time and 160 ns MLC-access capability","author":"sheu","year":"2011","journal-title":"ISSCC Tech Dig"},{"key":"ref84","doi-asserted-by":"publisher","DOI":"10.1038\/nnano.2010.279"},{"key":"ref119","article-title":"ABC: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"CAV"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1147\/rd.524.0449"},{"key":"ref83","doi-asserted-by":"publisher","DOI":"10.1109\/LED.2007.891268"},{"key":"ref114","article-title":"Berkeley Logic Synthesis and Verification Group, ABC: A System for Sequential Synthesis and Verification","year":"0","journal-title":"Abc Synthesis Tools"},{"key":"ref113","doi-asserted-by":"publisher","DOI":"10.1145\/605440.605442"},{"key":"ref116","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.860955"},{"key":"ref80","doi-asserted-by":"publisher","DOI":"10.1038\/nature09749"},{"key":"ref115","year":"0","journal-title":"CU Decision Diagram Package Release 2 5 0"},{"key":"ref120","author":"de micheli","year":"1994","journal-title":"Synthesis and Optimization of Digital Circuits"},{"key":"ref89","doi-asserted-by":"publisher","DOI":"10.1109\/MSPEC.2012.6139231"},{"key":"ref121","doi-asserted-by":"publisher","DOI":"10.1145\/123186.123222"},{"key":"ref122","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580029"},{"key":"ref123","doi-asserted-by":"publisher","DOI":"10.1109\/43.728917"},{"key":"ref85","article-title":"Field-effect transistors based on two-dimensional materials for logic applications","volume":"22","author":"xin-ran","year":"2013","journal-title":"Chinese Physics B"},{"key":"ref86","doi-asserted-by":"publisher","DOI":"10.1109\/IEDM.2012.6478976"},{"key":"ref87","doi-asserted-by":"publisher","DOI":"10.1126\/science.1138020"},{"key":"ref88","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837496"}],"container-title":["Proceedings of the IEEE"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/5\/7302610\/07214197.pdf?arnumber=7214197","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T02:35:53Z","timestamp":1633919753000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7214197\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":151,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/jproc.2015.2460377","relation":{},"ISSN":["0018-9219","1558-2256"],"issn-type":[{"value":"0018-9219","type":"print"},{"value":"1558-2256","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,11]]}}}