{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T01:39:03Z","timestamp":1725413943018},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/aspdac.2014.6742962","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T16:20:31Z","timestamp":1392999631000},"page":"634-639","source":"Crossref","is-referenced-by-count":1,"title":["Synthesis of power- and area-efficient binary machines for incompletely specified sequences"],"prefix":"10.1109","author":[{"given":"Nan","family":"Li","sequence":"first","affiliation":[]},{"given":"Elena","family":"Dubrova","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-2821-6","author":"brayton","year":"1984","journal-title":"Logic Minimization Algorithms for VLSI Synthesis"},{"journal-title":"Pulse Code Communication 1953","year":"1953","author":"gray","key":"22"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1137\/1024041"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2006.229287"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403686"},{"journal-title":"ABC A System for Sequential Synthesis and Verification Release 70930","year":"0","key":"24"},{"key":"15","first-page":"436","article-title":"Application of LFSRs for parallel sequence generation in cryptologic algorithms","author":"mukhopadhyay","year":"2006","journal-title":"Computational Science and its Applications - ICCSA 2006 Vol 3982 of Lecture Notes in Computer Science"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/296399.296516"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.1969.1054260"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/T-C.1971.223220"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2009.2030467"},{"key":"12","article-title":"Nonbinary BCH decoding","author":"berlekamp","year":"1967","journal-title":"International Symposium on Information Theory"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2013.50"},{"key":"3","article-title":"Weighted pattern generation for builtin self test","author":"chin","year":"1984","journal-title":"Tech Rep TR - 84-7 Stanford Center for Reliable Computing"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1948.tb01338.x"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.1985.294857"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0928-2_5"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2011.6105326"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1016\/S0165-1684(01)00172-4"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-46416-6_13"},{"journal-title":"Shift Register Sequences","year":"1982","author":"golomb","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2005.1584019"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2011.2149495"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TIT.2007.907442"}],"event":{"name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2014,1,20]]},"location":"Singapore","end":{"date-parts":[[2014,1,23]]}},"container-title":["2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736726\/6742831\/06742962.pdf?arnumber=6742962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T04:21:01Z","timestamp":1498105261000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6742962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2014.6742962","relation":{},"subject":[],"published":{"date-parts":[[2014,1]]}}}