{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T11:18:44Z","timestamp":1725621524033},"reference-count":43,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,10]]},"DOI":"10.1109\/test.2014.7035366","type":"proceedings-article","created":{"date-parts":[[2015,2,11]],"date-time":"2015-02-11T22:21:10Z","timestamp":1423693270000},"page":"1-10","source":"Crossref","is-referenced-by-count":3,"title":["Analysis and test of the effects of single event upsets affecting the configuration memory of SRAM-based FPGAs"],"prefix":"10.1109","author":[{"given":"Luca","family":"Cassano","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.884053"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.65"},{"key":"ref33","article-title":"SEU-X: a SEu Un-uXecitbility prover for SRAM-FPGAs","author":"bernardeschi","year":"2012","journal-title":"Proceedings of the 18th IEEE International On-Line Testing Symposium (IOLTS2012)"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2010.06.002"},{"key":"ref31","first-page":"187","article-title":"An Overview of SAL","author":"bensalem","year":"2000","journal-title":"Proceedings of the Fifth NASA Langley Formal Methods Workshop (LFM 2000)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/348019.348311"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743180"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1999.810776"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/MTDT.1997.619399"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/2483028.2483050"},{"key":"ref10","article-title":"Radiation testing update, seu mitigation, and availability analysis of the virtex fpga for space re-configurable computing, presented at the ieee nuclear and space radiation effects conference","author":"fuller","year":"2000","journal-title":"Proceedings of the 3rd Military and Aerospace Programmable Logic Devices International Conference (MAPLD'OO)"},{"key":"ref40","article-title":"Application of a genetic algorithm for testing SEUs in SRAM-FPGA Systems","author":"bernardeschi","year":"2012","journal-title":"Proceedings of the 6th HiPEAC Workshop on Reconfigurable Computing (WRC2012)"},{"key":"ref11","article-title":"Ft-Unshades: a New System for Seu Injection, Analysis and Diagnostics Over Post Synthesis Netlist","author":"aguirre","year":"2005","journal-title":"Proceedings of the 8th Military and Aerospace Programmable Logic Devices International Conference (MAPLD'05)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2007.45"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FPGA.2003.1227249"},{"key":"ref14","article-title":"An Analytical Approach for Soft Error Rate Estimation of SRAM-based FPGAs","author":"asadi","year":"2004","journal-title":"Proceedings of the 7th Military and Aerospace Programmable Logic Devices International Conference (MAPLD'04)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2005.1515755"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TNS.2005.860745"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RADECS.2008.5782753"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/RADECS.2011.6131342"},{"key":"ref19","article-title":"Single event upsets simulation tool functional description","author":"guti\u00e9rrez","year":"2000","journal-title":"ESA-ESTEC Tech Rep TEC-EDMIDGG-SST2"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2011.38"},{"key":"ref4","article-title":"Consequences and Categories of SRAM FPGA Configuration SEUs","author":"graham","year":"2003","journal-title":"Proceedings of the 6th Military and Aerospace Applications of Programmable Logic Devices (MAPLD'03)"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2008.22"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.853449"},{"journal-title":"Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications","year":"2011","author":"violante","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2009.5012096"},{"key":"ref5","first-page":"372","article-title":"A new functional fault model for FPGA application-oriented testing","author":"rebaudengo","year":"2002","journal-title":"Proceedings of the 17th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems (DFT 2002)"},{"key":"ref8","first-page":"474","article-title":"Ion beam testing of sram-based fpga's","author":"bellato","year":"2001","journal-title":"Proceedings of the 6th European Conference on Radiation and Its Effects on Components and Systems"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1561\/1000000005"},{"journal-title":"Radio Technical Commission for Aeronautics","article-title":"DO-254 Design Assurance Guidance for Airborne Elecronic Hardware","year":"2000","key":"ref2"},{"key":"ref9","article-title":"Proton testing of SEU mitigation methods for the Virtex FPGA","author":"carmichael","year":"2001","journal-title":"Proceedings of the IEEE Microelectronics Reliability and Qualification Workshop"},{"journal-title":"International Organization for Standardization (ISO)","article-title":"26262-5: Road vehicles-Functional safety-Part 5. Product development: hardware level","year":"2009","key":"ref1"},{"key":"ref20","article-title":"A Tool for Signal Probability Analysis of FPGA-Based Systems","author":"bernardeschi","year":"2011","journal-title":"Proceedings of the 2nd International Conference on Computational Logics Algebras Programming Tools and Benchmarking"},{"journal-title":"Proceedings of the 14th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems","article-title":"Failure Probability of SRAM-FPGA Systems with Stochastic Activity Networks","year":"2011","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FPL.2011.75"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/54.867894"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2012.6378210"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1016\/j.sysarc.2013.10.006"},{"key":"ref23","article-title":"Simulated Injection of Radiation-Induced Logic Faults in FP-GAs","author":"bernardeschi","year":"2011","journal-title":"3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID2011) 2011"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2014.2329419"},{"year":"0","key":"ref43"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2013.6700251"}],"event":{"name":"2014 IEEE International Test Conference (ITC)","start":{"date-parts":[[2014,10,20]]},"location":"Seattle, WA, USA","end":{"date-parts":[[2014,10,23]]}},"container-title":["2014 International Test Conference"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7024668\/7035243\/07035366.pdf?arnumber=7035366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T01:18:28Z","timestamp":1490318308000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7035366\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10]]},"references-count":43,"URL":"https:\/\/doi.org\/10.1109\/test.2014.7035366","relation":{},"subject":[],"published":{"date-parts":[[2014,10]]}}}