Files in this item

FilesDescriptionFormat

application/pdf

application/pdfB59-CRHC_11_01.pdf (6MB)
(no description provided)PDF

Description

Title:Automatic Generation of High Coverage Transient Fault Detectors Using GoldMine
Author(s):Athavale, Viraj; Vasudevan, Shobha
Subject(s):Automatic fault detectors
Logic soft errors
Formal verification
Data mining
Detector minimization and synthesis
Issue Date:2011-01
Publisher:Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report:Coordinated Science Laboratory Report no. UILU-ENG-11-2201, CRHC-11-01
Genre:Report
Type:Text
Language:English
Description:Coordinated Science Laboratory was formerly known as Control Systems Laboratory
URI:http://hdl.handle.net/2142/74619
Sponsor:National Science Foundation
Date Available in IDEALS:2015-04-06
2017-07-14


This item appears in the following Collection(s)

Item Statistics