{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:28:52Z","timestamp":1725539332086},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/iccd.2015.7357141","type":"proceedings-article","created":{"date-parts":[[2015,12,17]],"date-time":"2015-12-17T21:57:06Z","timestamp":1450389426000},"page":"431-434","source":"Crossref","is-referenced-by-count":1,"title":["ROST-C: Reliability driven optimisation and synthesis techniques for combinational circuits"],"prefix":"10.1109","author":[{"given":"Satish","family":"Grandhi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"McCarthy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Spagnol","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emanuel","family":"Popovici","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sorin","family":"Cotofana","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228525"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5456911"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2012.06.038"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2012.2184145"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1147\/rd.254.0272"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2013.2250581"},{"key":"ref6","first-page":"149","article-title":"Enhancing design robustness with reliability-aware resynthesis and logic simulation","author":"smita","year":"2007","journal-title":"Computer-Aided Design 2007 ICCAD 2007 IEEE\/ACM International Conference on"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/PRIME.2014.6872739"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2011.6081434"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1109\/DAC.1997.597155","article-title":"Equivalence checking using cuts and heaps","author":"kuehlmann","year":"1997","journal-title":"Design Automation Conference 1997 Proceedings of the 34th"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1007\/978-3-642-14295-6_5","article-title":"Abc: An academic industrial-strength verification tool","author":"brayton","year":"2010","journal-title":"Proceedings of the 22nd International Conference on Computer Aided Verification"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"key":"ref9","first-page":"15","article-title":"Scalable logic synthesis using a simple circuit structure","author":"mishchenko","year":"2006","journal-title":"Proc IWLS"}],"event":{"name":"2015 33rd IEEE International Conference on Computer Design (ICCD)","start":{"date-parts":[[2015,10,18]]},"location":"New York City, NY, USA","end":{"date-parts":[[2015,10,21]]}},"container-title":["2015 33rd IEEE International Conference on Computer Design (ICCD)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7347055\/7357071\/07357141.pdf?arnumber=7357141","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T14:15:59Z","timestamp":1602684959000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7357141"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/iccd.2015.7357141","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}