{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:02:14Z","timestamp":1729652534075,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,6]]},"DOI":"10.1109\/ahs.2013.6604248","type":"proceedings-article","created":{"date-parts":[[2013,9,25]],"date-time":"2013-09-25T18:07:59Z","timestamp":1380132479000},"page":"209-216","source":"Crossref","is-referenced-by-count":1,"title":["Formal approaches to SEU testing in FPGAs"],"prefix":"10.1109","author":[{"given":"Cinzia","family":"Bernardeschi","sequence":"first","affiliation":[]},{"given":"Luca","family":"Cassano","sequence":"additional","affiliation":[]},{"given":"Andrea","family":"Domenici","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13977-2_10"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ETS.2011.38"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/348019.348311"},{"journal-title":"Reconfigurable Field Programmable Gate Arrays for Mission-Critical Applications","year":"2011","author":"violante","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.2008.22"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/TVLSI.2006.884053"},{"key":"14","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 Com-puting (WRC2012)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/TEST.1998.743180"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.65"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"20","first-page":"782","article-title":"Sat and atpg: Boolean engines for formal hardware verification","author":"biere","year":"2002","journal-title":"International Conference on Computer Aided Design (ICCAD 02)"},{"key":"22","doi-asserted-by":"crossref","first-page":"258","DOI":"10.1007\/3-540-59047-1_53","article-title":"A tutorial on using PVS for hardware verification","volume":"901","author":"owre","year":"1997","journal-title":"Theorem Provers in Circuit Design (TPCD '94)"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/43.275352"},{"key":"24","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1007\/11757283_5","article-title":"Sat-based verification methods and applications in hardware verification","volume":"3965","author":"gupta","year":"2006","journal-title":"Formal Methods for Hardware Verification"},{"key":"25","first-page":"315","article-title":"Stochastic activity networks: Formal definitions and concepts","author":"sanders","year":"2002","journal-title":"Lectures on Formal Methods and Perfor-mance Analysis First EEF\/Euro Summer School on Trends in Computer Science"},{"key":"26","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":"27","doi-asserted-by":"publisher","DOI":"10.1109\/32.345827"},{"journal-title":"Evaluating testing and animating PVS specifications","year":"2001","author":"crow","key":"28"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/DFT.2012.6378210"},{"key":"3","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/978-3-540-30142-4_19","article-title":"Abstractions for fault-tolerant distributed system verification","author":"pike","year":"2004","journal-title":"Proceedings of the International Conference Theorem Proving in Higher Order Logics (TPHOLs)"},{"journal-title":"International Atomic Energy Agency","article-title":"Software for Computer Based Systems Important to Safety in Nuclear Power plants","year":"2000","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/ATS.1999.810776"},{"journal-title":"CENELEC European Committee for Electrotechnical Standardization","article-title":"Railway applications - Software for railway control and protection systems","year":"2001","key":"1"},{"key":"30","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"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/TDMR.2005.853449"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.402"},{"key":"32","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":"5","doi-asserted-by":"publisher","DOI":"10.1145\/1459352.1459354"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/DDECS.2011.5783098"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.258"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MTDT.1997.619399"},{"key":"8","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)"}],"event":{"name":"2013 NASA\/ESA Conference on Adaptive Hardware and Systems (AHS)","start":{"date-parts":[[2013,6,24]]},"location":"Torino, Italy","end":{"date-parts":[[2013,6,27]]}},"container-title":["2013 NASA\/ESA Conference on Adaptive Hardware and Systems (AHS-2013)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6589038\/6604210\/06604248.pdf?arnumber=6604248","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T18:34:51Z","timestamp":1498070091000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6604248\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/ahs.2013.6604248","relation":{},"subject":[],"published":{"date-parts":[[2013,6]]}}}