{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T08:16:36Z","timestamp":1730276196476,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1109\/isqed.2012.6187500","type":"proceedings-article","created":{"date-parts":[[2012,4,25]],"date-time":"2012-04-25T16:08:50Z","timestamp":1335370130000},"page":"236-242","source":"Crossref","is-referenced-by-count":10,"title":["Functional composition: A new paradigm for performing logic synthesis"],"prefix":"10.1109","author":[{"given":"Mayler G. A.","family":"Martins","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Renato P.","family":"Ribas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre I.","family":"Reis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"FRAIGs: A Unifying Representation for Logic Synthesis and Verification","author":"mishchenko","year":"2005","journal-title":"ERL Technical Report"},{"doi-asserted-by":"publisher","key":"22","DOI":"10.1109\/ISQED.2008.4479720"},{"doi-asserted-by":"publisher","key":"17","DOI":"10.1016\/j.dam.2005.02.007"},{"doi-asserted-by":"publisher","key":"23","DOI":"10.1109\/DSD.2008.13"},{"year":"1991","author":"yang","journal-title":"Logic Synthesis and Optimization Benchmarks User Guide","key":"18"},{"doi-asserted-by":"publisher","key":"24","DOI":"10.1109\/ICCAD.2001.968667"},{"year":"0","journal-title":"ABC A System for Sequential Synthesis and Verification","key":"15"},{"doi-asserted-by":"publisher","key":"16","DOI":"10.1109\/ICCAD.1999.810648"},{"doi-asserted-by":"publisher","key":"13","DOI":"10.1109\/SBCCI.2002.1137669"},{"year":"1992","author":"sentovich","journal-title":"SIS A system for sequential circuit synthesis","key":"14"},{"doi-asserted-by":"publisher","key":"11","DOI":"10.1109\/SBCCI.1999.803115"},{"doi-asserted-by":"publisher","key":"12","DOI":"10.1145\/1016568.1016636"},{"doi-asserted-by":"publisher","key":"21","DOI":"10.1109\/ASIC.1995.580748"},{"doi-asserted-by":"publisher","key":"3","DOI":"10.1109\/ICCAD.2005.1560122"},{"key":"20","first-page":"58","article-title":"Classifying n-Input Boolean Functions","author":"correia","year":"0","journal-title":"IBERCHIP 2001"},{"year":"1962","author":"curtis","journal-title":"A New Approach to the Design of Switching Circuits","key":"2"},{"key":"1","first-page":"74","volume":"29","author":"ashenhurst","year":"1959","journal-title":"The Decomposition of Switching Functions"},{"key":"10","first-page":"229","article-title":"Boolean factoring with multiobjective goals","author":"martins","year":"0","journal-title":"ICCDA 2010"},{"doi-asserted-by":"publisher","key":"7","DOI":"10.1109\/ISQED.2011.5770816"},{"doi-asserted-by":"publisher","key":"6","DOI":"10.1109\/ICCAD.2011.6105357"},{"doi-asserted-by":"publisher","key":"5","DOI":"10.1109\/DAC.2006.229287"},{"doi-asserted-by":"publisher","key":"4","DOI":"10.1145\/217474.217507"},{"doi-asserted-by":"publisher","key":"9","DOI":"10.1109\/TVLSI.2007.895248"},{"doi-asserted-by":"publisher","key":"8","DOI":"10.1145\/1973009.1973098"}],"event":{"name":"2012 13th International Symposium on Quality Electronic Design (ISQED)","start":{"date-parts":[[2012,3,19]]},"location":"Santa Clara, CA, USA","end":{"date-parts":[[2012,3,21]]}},"container-title":["Thirteenth International Symposium on Quality Electronic Design (ISQED)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6182938\/6187454\/06187500.pdf?arnumber=6187500","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T11:55:55Z","timestamp":1490097355000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6187500\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/isqed.2012.6187500","relation":{},"subject":[],"published":{"date-parts":[[2012,3]]}}}