{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,24]],"date-time":"2025-08-24T01:53:03Z","timestamp":1756000383290,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1109\/ddecs.2009.5012107","type":"proceedings-article","created":{"date-parts":[[2009,6,2]],"date-time":"2009-06-02T20:44:32Z","timestamp":1243975472000},"page":"102-107","source":"Crossref","is-referenced-by-count":7,"title":["A symbolic RTL synthesis for LUT-based FPGAs"],"prefix":"10.1109","author":[{"given":"Stanislaw","family":"Deniziak","sequence":"first","affiliation":[]},{"given":"Mariusz","family":"Wisniewski","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/EURCON.2007.4400669"},{"journal-title":"Benchmarks for high-level synthesis","year":"1991","author":"vemuri","key":"18"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2008.4629970"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2008.4538749"},{"key":"13","article-title":"a boolean paradigm in multivalued logic synthesis","author":"mishchenko","year":"2002","journal-title":"Proc IWLS' 02"},{"key":"14","article-title":"encoding of boolean functions and its application to lut cascade synthesis","author":"mishchenko","year":"2002","journal-title":"Proc of IWLS"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2002.1011086"},{"key":"12","article-title":"an implicit method for multi- valued network encoding","author":"jiang","year":"2001","journal-title":"Proc of IWLS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2005.1515739"},{"journal-title":"Altera Corp","article-title":"quartus ii software","year":"0","key":"2"},{"key":"1","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1109\/TCAD.2006.887922","article-title":"optimality study of logic synthesis for lutbased fpgas","volume":"2","author":"cong","year":"2007","journal-title":"IEEE Transactions on CAD"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848598"},{"key":"7","article-title":"a decade of advances in fpga design automation","volume":"1","author":"chen","year":"2006","journal-title":"Foundations and Trends Electron Des Autom"},{"key":"6","first-page":"501","article-title":"fpga-based decomposition of boolean functions. algorithms and implementation","author":"nowicka","year":"1999","journal-title":"Proc of the 6th Intern\/ Conf on Advanced Computer Systems"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(03)00071-7"},{"key":"4","first-page":"377","article-title":"decomposition of boolean functions specified by cubes","volume":"9","author":"brzozowski","year":"2003","journal-title":"Journal of Mult -Valued Logic & Soft Computing"},{"key":"9","first-page":"262","article-title":"blanket algebra for multiple-valued function decomposition","author":"brzozowski","year":"1999","journal-title":"Proc of the Int Workshop on Formal Languages and Computer Systems 1997 in Algebraic Engineering"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/ICVD.1999.745148"}],"event":{"name":"2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems","start":{"date-parts":[[2009,4,15]]},"location":"Liberec, Czech Republic","end":{"date-parts":[[2009,4,17]]}},"container-title":["2009 12th International Symposium on Design and Diagnostics of Electronic Circuits & Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4957849\/5012077\/05012107.pdf?arnumber=5012107","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T20:34:25Z","timestamp":1497818065000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5012107\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/ddecs.2009.5012107","relation":{},"subject":[],"published":{"date-parts":[[2009]]}}}