{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T08:57:41Z","timestamp":1729673861360,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1109\/dsd.2003.1231917","type":"proceedings-article","created":{"date-parts":[[2004,3,22]],"date-time":"2004-03-22T09:34:28Z","timestamp":1079948068000},"page":"148-155","source":"Crossref","is-referenced-by-count":2,"title":["Information-driven library-based circuit synthesis"],"prefix":"10.1109","author":[{"given":"L.","family":"Jozwiak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Bieganski","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Chojnacki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/343647.343734"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"977","DOI":"10.1109\/43.511577","article-title":"OBDD-based function decomposition: algorithms and implementation","volume":"15","author":"lai","year":"1996","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref12","article-title":"On Functional Separability of Boolean Functions","volume":"44","author":"povarov","year":"1954","journal-title":"Lectures of the USSR Academy of Sciencies"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1999.794452"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1147\/rd.62.0227"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.1999.794493"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1995.480140"},{"journal-title":"SIS A system for sequential circuit synthesis","year":"1992","author":"sentovich","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.1995.250065"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1998.655941"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1155\/1995\/16259"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/321088.321091"},{"key":"ref6","article-title":"Information Relationship Measures in Application to Logic Design","author":"jwiak","year":"1998","journal-title":"IEEE International Symposium on Multiple-Valued Logic"},{"key":"ref5","first-page":"13","article-title":"Information Relationships and Measures &#x2014; An Analysis Apparatus for Efficient Information System Synthesis","author":"jwiak","year":"1997","journal-title":"23rd EUROMICRO Conference"},{"key":"ref8","first-page":"30","article-title":"Effective and Efficient FPGA Synthesis through Functional Decomposition Based on Information Relationship Measures","author":"jwiak","year":"0","journal-title":"DSD'2001 -Euromicro Symposium on Digital System Design September 4&#x2013;6 2001 Warsaw Poland"},{"key":"ref7","first-page":"383","article-title":"High-quality sub-function construction in functional decomposition based on information relationship measures","author":"jwiak","year":"2001","journal-title":"DATE'2001 &#x2014; Design Automation and Test in Europe Munich Germany"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ISMVL.2000.848604"},{"key":"ref1","first-page":"74","article-title":"The decomposition of switching functions","author":"ashenhurst","year":"1959","journal-title":"Proceedings of International Symposium on the Theory of Switching Functions"},{"key":"ref9","first-page":"30","article-title":"Input Support Minimization for Efficient PLD and FPGA Synthesis","author":"jwiak","year":"1996","journal-title":"IWLAS'96"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1002\/j.1538-7305.1949.tb03624.x"},{"journal-title":"Collaborative Benchmarking Laboratory Department of Computer Science at North Carolina State University","year":"0","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/315773.315783"}],"event":{"name":"Proceedings. Euromicro Symposium on Digital System Design","start":{"date-parts":[[2003,9,1]]},"location":"Belek-Antalya, Turkey","end":{"date-parts":[[2003,9,6]]}},"container-title":["Euromicro Symposium on Digital System Design, 2003. Proceedings."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8715\/27588\/01231917.pdf?arnumber=1231917","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T00:26:32Z","timestamp":1497572792000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1231917\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/dsd.2003.1231917","relation":{},"subject":[],"published":{"date-parts":[[2003]]}}}