Show simple item record

date accessioned2020-03-12T22:10:55Z
date available2020-03-12T22:10:55Z
date issued2014
identifier other6996807.pdf
identifier urihttps://libsearch.um.ac.ir:443/fum/handle/fum/1074232?show=full
formatgeneral
languageEnglish
publisherIEEE
titleFrom the editors
typeConference Paper
contenttypeMetadata Only
identifier padid8210367
subject keywordsbenchmark testing
subject keywordsn digital integrated circuits
subject keywordsn fault diagnosis
subject keywordsn formal specification
subject keywordsn integrated circuit testing
subject keywordsn radiation hardening (electronics)
subject keywordsn ITC99 benchmark
subject keywordsn SEU sensitivity
subject keywordsn digital circuits
subject keywordsn fault injection experiments
subject keywordsn formal specification language
subject keywordsn linear temporal logic
subject keywordsn model-checking tool
subject keywordsn single event upsets
subject keywordsn static analysis
subject keywordsn untestable fault identification
subject keywordsn Circuit faults
subject keywordsn Field programmable gate arrays
subject keywordsn Int
identifier doi10.1109/IOLTS.2014.6873692
journal titleiezoelectricity, Acoustic Waves, and Device Applications (SPAWDA), 2014 Symposium on
filesize107500
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record