{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:41:59Z","timestamp":1725514919394},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/ised.2016.7977045","type":"proceedings-article","created":{"date-parts":[[2017,7,13]],"date-time":"2017-07-13T16:48:42Z","timestamp":1499964522000},"page":"7-12","source":"Crossref","is-referenced-by-count":0,"title":["Generating and checking control logic in the HDL-based design of reversible circuits"],"prefix":"10.1109","author":[{"given":"Robert","family":"Wille","sequence":"first","affiliation":[]},{"given":"Oliver","family":"Keszocze","sequence":"additional","affiliation":[]},{"given":"Lars","family":"Othmer","sequence":"additional","affiliation":[]},{"given":"Michael Kirkedal","family":"Thomsen","sequence":"additional","affiliation":[]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IEEESTD.2005.97972"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2564923"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/775832.775915"},{"journal-title":"Quantum Computation and Quantum Information","year":"2000","author":"nielsen","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2010.58"},{"key":"ref15","first-page":"69","article-title":"RevKit: A toolkit for reversible circuit design","author":"soekcn","year":"2010","journal-title":"Workshop on Reversible Computation"},{"key":"ref16","first-page":"135","article-title":"A functional language for describing reversible logic","author":"thomsen","year":"2012","journal-title":"Forum on Specification and Design Languages"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1629984"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2012.6176648"},{"key":"ref19","first-page":"220","author":"wille","year":"2008","journal-title":"RevLib an online resource for reversible functions and reversible circuits"},{"journal-title":"Handbook of Satisfiability","year":"2009","author":"biere","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/nature10872"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1002\/9783527633999"},{"key":"ref5","first-page":"337","author":"de moura","year":"2008","journal-title":"Z3 An efficient SMT solver In Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/PACRIM.2007.4313212"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-3228-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.52.3457"},{"journal-title":"Procedural Language Application Interface","article-title":"IEEE Standard VHDL Language Reference Manual Amendment 1","year":"2007","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/363235.363259"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.vlsi.2015.10.001"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1366230.1366239"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2012.71"}],"event":{"name":"2016 Sixth International Symposium on Embedded Computing and System Design (ISED)","start":{"date-parts":[[2016,12,15]]},"location":"Patna, India","end":{"date-parts":[[2016,12,17]]}},"container-title":["2016 Sixth International Symposium on Embedded Computing and System Design (ISED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7966456\/7977039\/07977045.pdf?arnumber=7977045","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,16]],"date-time":"2017-08-16T11:58:39Z","timestamp":1502884719000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7977045\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ised.2016.7977045","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}