{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:03:27Z","timestamp":1729663407387,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,3]]},"DOI":"10.1109\/date.2011.5763247","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T22:45:16Z","timestamp":1361313916000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Reliability-driven don't care assignment for logic synthesis"],"prefix":"10.1109","author":[{"given":"A","family":"Zukoski","sequence":"first","affiliation":[]},{"given":"M R","family":"Choudhury","sequence":"additional","affiliation":[]},{"given":"K","family":"Mohanram","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/43.644041"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.2006.297682"},{"key":"ref12","first-page":"149","article-title":"Enhancing design robustness with reliability-aware resynthesis and logic simulation","author":"krishnaswamy","year":"2007","journal-title":"Proc Intl Conference Computer-aided Design"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1403375.1403593"},{"key":"ref14","first-page":"559","author":"wu","year":"2008","journal-title":"Soft error rate reduction using redundancy addition and removal"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090771"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.860955"},{"key":"ref17","article-title":"Synthesis by spectral translation using Boolean decision diagrams","author":"hansen","year":"0","journal-title":"Proc 1996 Design Automation Conf"},{"journal-title":"CUDD Colorado University Decision Diagram Package","year":"0","key":"ref18"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1109\/TVLSI.2007.912191","article-title":"Exact distribution of the max\/min of two Gaussian random variables","volume":"16","author":"saralees","year":"2008","journal-title":"IEEE Trans VLSI Systems"},{"journal-title":"Error Detection Circuits","year":"1993","author":"g\u00f6ssel","key":"ref4"},{"key":"ref3","volume":"1","author":"pradhan","year":"1986","journal-title":"Fault-Tolerant Computing Theory and Techniques"},{"journal-title":"Architecture Design for Soft Errors","year":"2008","author":"mukherjee","key":"ref6"},{"key":"ref5","doi-asserted-by":"crossref","DOI":"10.1201\/9781439863961","author":"siewiorek","year":"1998","journal-title":"Reliable computer systems Design and evalu-ation"},{"key":"ref8","first-page":"146","author":"hurst","year":"1985","journal-title":"Spectral Techniques in Digital Logic"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"517","DOI":"10.1145\/1837274.1837401","article-title":"LUT-based FPGA technology mapping for reliabil-ity","author":"cong","year":"2010","journal-title":"Proc Design Automation Conference"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/9780470455265"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2005.110"},{"year":"0","key":"ref9","article-title":"ABC logic synthesis tool"}],"event":{"name":"2011 Design, Automation & Test in Europe","start":{"date-parts":[[2011,3,14]]},"location":"Grenoble","end":{"date-parts":[[2011,3,18]]}},"container-title":["2011 Design, Automation & Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5754459\/5762992\/05763247.pdf?arnumber=5763247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,9]],"date-time":"2022-02-09T01:02:38Z","timestamp":1644368558000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5763247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,3]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/date.2011.5763247","relation":{},"subject":[],"published":{"date-parts":[[2011,3]]}}}