{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T05:03:51Z","timestamp":1729659831163,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/iolts.2017.8046195","type":"proceedings-article","created":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T16:57:02Z","timestamp":1506704222000},"page":"33-38","source":"Crossref","is-referenced-by-count":1,"title":["Comprehensive analysis of sequential circuits vulnerability to transient faults using SMT"],"prefix":"10.1109","author":[{"given":"Ghaith Bany","family":"Hamad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ghaith","family":"Kazma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Otmane Ait","family":"Mohamed","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvon","family":"Savaria","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"616","article-title":"Probabilistic error modeling for sequential logic","author":"ling","year":"2007","journal-title":"IEEE Conference on Nanotechnology"},{"key":"ref11","first-page":"395","article-title":"Towards accurate and eff cient reliability modeling of nanoelectronic circuits","volume":"1","author":"taylor","year":"2006","journal-title":"IEEE Conference on Nanotechnology"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2010.07.154"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/DFTVS.2005.61"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ISQED.2007.100"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"803","DOI":"10.1109\/TCAD.2008.917591","article-title":"Modeling and optimization for soft-error reliability of sequential circuits","volume":"27","author":"natasa","year":"2008","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"ref16","first-page":"337","article-title":"Z3: An eff cient smt solver","author":"de moura","year":"2008","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems"},{"key":"ref17","first-page":"54","article-title":"Eff cient and accurate analysis of single event transients propagation using smt-based techniques","author":"bany hamad","year":"2016","journal-title":"International Conference on Computer-Aided Design (ICCAD)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.2007.4397258"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1629911.1630043"},{"key":"ref6","first-page":"515","article-title":"Modeling, analyzing, and abstracting single event transient propagation at gate level","author":"bany hamad","year":"2014","journal-title":"IEEE International Midwest Symposium on Circuits and Systems (MWSCAS)"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.microrel.2014.09.025"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2012.147"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IOLTS.2015.7229818"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/VLSID.2013.203"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2008.2000254"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2010.5469586"}],"event":{"name":"2017 IEEE 23rd International Symposium on On-Line Testing and Robust System Design (IOLTS)","start":{"date-parts":[[2017,7,3]]},"location":"Thessaloniki, Greece","end":{"date-parts":[[2017,7,5]]}},"container-title":["2017 IEEE 23rd International Symposium on On-Line Testing and Robust System Design (IOLTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8030509\/8046164\/08046195.pdf?arnumber=8046195","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,3]],"date-time":"2019-10-03T23:42:18Z","timestamp":1570146138000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8046195\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/iolts.2017.8046195","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}