{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T13:58:33Z","timestamp":1761487113632,"version":"3.28.0"},"reference-count":28,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/dftvs.2003.1250147","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"page":"485-492","source":"Crossref","is-referenced-by-count":52,"title":["Dependability analysis using a fault injection tool based on synthesizability of HDL models"],"prefix":"10.1109","author":[{"given":"H.R.","family":"Zarandi","sequence":"first","affiliation":[]},{"given":"S.G.","family":"Miremadi","sequence":"additional","affiliation":[]},{"given":"A.","family":"Ejlali","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2002.1028909"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1994.315656"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689467"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1997.614074"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/54.544533"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/12.559803"},{"article-title":"Verilog and VHDL Toturials (EVITA)","year":"1998","author":"mirkowsky","key":"ref16"},{"journal-title":"Model Technology ModelSim SEIPLUS Reference manual version 5 7b","year":"2003","key":"ref17"},{"year":"1995","key":"ref18","article-title":"IEEE Standard Verilog Language Reference Manual"},{"year":"1993","key":"ref19","article-title":"IEEE Standard VHDL Language Reference Manual"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1109\/DSN.2003.1209958","article-title":"A Hybrid Fault Injection Approach Based on Simulation and Emulati on Co-operation","author":"ejlali","year":"2003","journal-title":"Proc Dependable Systems and Networks-DSN 2003"},{"key":"ref4","article-title":"RIFLE: A General Purpose Pin-Level Fault Injector","volume":"852","author":"madeira","year":"1994","journal-title":"Proc EDCC-1"},{"key":"ref27","article-title":"The VHDL CookBook","author":"ashenden","year":"1990","journal-title":"Technical Report"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/24.406580"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941394"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/32.44380"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/32.666826"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1988.5306"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/40.259894"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/296333.296351"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1998.689479"},{"journal-title":"Design and Analysis of Fault-Tolerant Digital Systems","year":"1989","author":"johnson","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1984.1676408"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCAD.1993.580172"},{"key":"ref24","article-title":"SILVER: A Simulation-Based Fault Injection Tool at Switch-Level Using Verilog","author":"zarandi","year":"2002","journal-title":"proc SCIS\/ISIS 2002"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/337292.337777"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/ICDSN.2000.857571"},{"key":"ref25","first-page":"240","author":"armstrong","year":"1992","journal-title":"Test Generation and Fault Simulation for Behavioral Models in Performance and Fault Modelling with VHDL"}],"event":{"name":"18th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems","acronym":"DFTVS-03","location":"Boston, MA, USA"},"container-title":["Proceedings. 16th IEEE Symposium on Computer Arithmetic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8839\/27973\/01250147.pdf?arnumber=1250147","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,31]],"date-time":"2020-03-31T09:04:57Z","timestamp":1585645497000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1250147\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":28,"URL":"https:\/\/doi.org\/10.1109\/dftvs.2003.1250147","relation":{},"subject":[]}}