{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T16:19:27Z","timestamp":1725553167574},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,4]]},"DOI":"10.1109\/ddecs.2017.7934557","type":"proceedings-article","created":{"date-parts":[[2017,5,29]],"date-time":"2017-05-29T20:22:11Z","timestamp":1496089331000},"page":"145-150","source":"Crossref","is-referenced-by-count":1,"title":["Formal Design Space Exploration for memristor-based crossbar architecture"],"prefix":"10.1109","author":[{"given":"Marcello","family":"Traiola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Barbareschi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alberto","family":"Bosio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1021\/nl203687n"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"1718","DOI":"10.7873\/DATE.2015.1136","article-title":"Memristor based computation-in-memory architecture for data-intensive applications","author":"hamdioui","year":"2015","journal-title":"Proceedings of the conference on Design Automation and Test in Europe"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2015.7357122"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/VLSI-SoC.2016.7753567"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s00339-004-3149-1"},{"journal-title":"ABC User Guide","year":"0","key":"ref15"},{"key":"ref16","article-title":"SIS: A System for Sequential Circuit Synthesis","author":"sentovich","year":"1992","journal-title":"EECS Department University of California Berkeley Tech Rep"},{"journal-title":"Logic Synthesis and Optimization Benchmarks User Guide","year":"0","author":"yang","key":"ref17"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629940"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CICC.2007.4405763"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCT.1971.1083337"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1145\/1403375.1403694","article-title":"Emerging yield and reliability challenges in nanometer CMOS technologies","author":"gielen","year":"2008","journal-title":"Proceedings of the conference on Design Automation and Test in Europe"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/nnano.2012.240"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/adma.200900375"},{"key":"ref2","first-page":"421","author":"hoefflinger","year":"2012","journal-title":"Chips 2020 A Guide to the Future of Nanoelectronics” The Frontiers Collection"},{"journal-title":"ITRS 2013 Rep","year":"0","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/NanoArch.2013.6623028"}],"event":{"name":"2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)","start":{"date-parts":[[2017,4,19]]},"location":"Dresden, Germany","end":{"date-parts":[[2017,4,21]]}},"container-title":["2017 IEEE 20th International Symposium on Design and Diagnostics of Electronic Circuits & Systems (DDECS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7932334\/7934552\/07934557.pdf?arnumber=7934557","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,25]],"date-time":"2019-09-25T06:39:31Z","timestamp":1569393571000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7934557\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,4]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2017.7934557","relation":{},"subject":[],"published":{"date-parts":[[2017,4]]}}}