{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T12:08:07Z","timestamp":1767182887776},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iccad.2005.1560122","type":"proceedings-article","created":{"date-parts":[[2005,12,22]],"date-time":"2005-12-22T17:52:37Z","timestamp":1135273957000},"source":"Crossref","is-referenced-by-count":45,"title":["Reducing structural bias in technology mapping"],"prefix":"10.1109","author":[{"given":"S.","family":"Chatterjee","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Mishchenko","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Brayton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"X.","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Kam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"143","article-title":"A new enhanced constructive decomposition and mapping algorithm","author":"mishchenko","year":"0","journal-title":"Proc DAC '03"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.1994.331849"},{"key":"17","year":"0","journal-title":"MVSIS Multi-Valued Logic Synthesis System"},{"key":"18","article-title":"Fraigs: A unifying representation for logic synthesis and verification","author":"mishchenko","year":"2005","journal-title":"ERL Technical Report"},{"key":"15","first-page":"668","article-title":"A signal correlation guided ATPG solver and its applications for solving difficult industrial cases","author":"lu","year":"0","journal-title":"Proc DAC '03"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2006.882119"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/43.644605"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2003.1253719"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2002.804386"},{"key":"12","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1145\/277044.277142","article-title":"Delay-optimal technology mapping by DAG covering","author":"kukimoto","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.1999.761178"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/43.273754"},{"key":"20","author":"sentovich","year":"1992","journal-title":"SIS A system for sequential circuit synthesis"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/368122.368880"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/264995.264996"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2004.1382542"},{"key":"7","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1145\/277044.277100","article-title":"Boolean matching for large libraries","author":"hinsberger","year":"1998","journal-title":"Proceedings 1998 Design and Automation Conference 35th DAC (Cat No 98CH36175) DAC"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-0817-5_5"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.1999.760033"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1145\/296399.296425"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2000.840040"},{"key":"8","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"}],"event":{"name":"ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005.","location":"San Jose, CA"},"container-title":["ICCAD-2005. IEEE\/ACM International Conference on Computer-Aided Design, 2005."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10431\/33130\/01560122.pdf?arnumber=1560122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,17]],"date-time":"2017-06-17T01:55:33Z","timestamp":1497664533000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1560122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/iccad.2005.1560122","relation":{},"subject":[]}}