{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T18:24:50Z","timestamp":1775845490456,"version":"3.50.1"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,12]]},"DOI":"10.1109\/idt.2014.7038601","type":"proceedings-article","created":{"date-parts":[[2015,2,17]],"date-time":"2015-02-17T15:01:34Z","timestamp":1424185294000},"page":"136-141","source":"Crossref","is-referenced-by-count":53,"title":["BDD based synthesis of Boolean functions using memristors"],"prefix":"10.1109","author":[{"given":"Sayak","family":"Chakraborti","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paturi Varun","family":"Chowdhary","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kamalika","family":"Datta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Indranil","family":"Sengupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"17","author":"synthesis","year":"0","journal-title":"ABC A System for Sequential Synthesis and Verification"},{"key":"15","first-page":"435","article-title":"Reconfigurable nano-cros sbar architectures","author":"strukov","year":"2012","journal-title":"Nanoelectronics and Information Technology"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1038\/nature06932"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2013.2244434"},{"key":"14","author":"somenzi","year":"2012","journal-title":"CUDD CU Decision Diagram Package - Release 2 5 0"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2011.2165067"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2011.2158253"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TCT.1971.1083337"},{"key":"2","article-title":"Digital lo gic synthesis for memristors","volume":"2013","author":"burger","year":"2013","journal-title":"Proceedings of Reed-Muller"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1038\/nature08940"},{"key":"10","first-page":"1","article-title":"Memristor-based modified recoadedmultiplicant systolic serial-parallel multiplier","author":"shaltoot","year":"2013","journal-title":"IEEE International Conference on Communications Signal Processing and Their Applications (ICCSPA"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/NANOARCH.2009.5226356"},{"key":"6","author":"kvatinsky","year":"2013","journal-title":"Memristor-Based Material Implication (Imply) Logic Design Principles and Methodologies"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081389"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2190814"},{"key":"9","first-page":"298","article-title":"Memristor based carry look ahead adder architectures","author":"shaltoot","year":"2012","journal-title":"IEEE International Midwest Symposium on Circuits and Systems (MWSCAS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/j.mejo.2014.04.014"}],"event":{"name":"2014 9th International Design & Test Symposium (IDT)","location":"Algeries, Algeria","start":{"date-parts":[[2014,12,16]]},"end":{"date-parts":[[2014,12,18]]}},"container-title":["2014 9th International Design and Test Symposium (IDT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7021862\/7038563\/07038601.pdf?arnumber=7038601","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T22:23:04Z","timestamp":1490307784000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7038601\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/idt.2014.7038601","relation":{},"subject":[],"published":{"date-parts":[[2014,12]]}}}