{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:37:47Z","timestamp":1725485867980},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1109\/fpt.2007.4439257","type":"proceedings-article","created":{"date-parts":[[2008,1,29]],"date-time":"2008-01-29T15:33:29Z","timestamp":1201620809000},"page":"245-248","source":"Crossref","is-referenced-by-count":1,"title":["Improving Bounds for FPGA Logic Minimization"],"prefix":"10.1109","author":[{"given":"Tim","family":"Todman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haofan","family":"Fu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oskar","family":"Mencer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wayne","family":"Luk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Concrete Mathe matics A Foundation for Computer Science","year":"1989","author":"graham","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.857377"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1120725.1120848"},{"journal-title":"RASP — LUT-Based FPGA Technology Mapping Package release B1 1","year":"0","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382677"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/296399.296425"},{"key":"ref3","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1145\/157485.164675","article-title":"on area\/depth trade-off in lut-based fpga technology mapping","author":"cong","year":"1993","journal-title":"30th ACM\/IEEE Design Automation Conference"},{"key":"ref6","first-page":"438","article-title":"Implicit enumeration of structural changes in circuit optimization","author":"kravets","year":"2004","journal-title":"Proceedings 41st Design Automation Conference 2004 DAC"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/1065579.1065693"},{"key":"ref8","article-title":"Efficient SAT-based Boolean Matching for FPGA Technology Mapping","author":"safarpour","year":"2006","journal-title":"Proc Design Automation Conference"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44411-4_2"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1145\/127601.127670","article-title":"Chortle-crf: fast technology mapping for lookup table-based FPGAs","author":"francis","year":"1991","journal-title":"28th ACM\/IEEE Design Automation Conference DAC"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/37888.37940","article-title":"dagon: technology binding and local optimization by dag matching","author":"keutzer","year":"1987","journal-title":"24th ACM\/IEEE Design Automation Conference"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1216919.1216944"}],"event":{"name":"2007 International Conference on Field-Programmable Technology","start":{"date-parts":[[2007,12,12]]},"location":"Kitakyusyu, Japan","end":{"date-parts":[[2007,12,14]]}},"container-title":["2007 International Conference on Field-Programmable Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4439213\/4439214\/04439257.pdf?arnumber=4439257","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T23:33:04Z","timestamp":1497742384000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4439257\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/fpt.2007.4439257","relation":{},"subject":[],"published":{"date-parts":[[2007,12]]}}}