Automatic Generation of High Coverage Transient Fault Detectors Using GoldMine

Athavale, Viraj; Vasudevan, Shobha

Permalink

https://hdl.handle.net/2142/74619 Copy

Description

Title

Automatic Generation of High Coverage Transient Fault Detectors Using GoldMine

Author(s)

• Athavale, Viraj
• Vasudevan, Shobha

Issue Date

2011-01

Keyword(s)

• Automatic fault detectors
• Logic soft errors
• Formal verification
• Data mining
• Detector minimization and synthesis

Publisher

Coordinated Science Laboratory, University of Illinois at Urbana-Champaign

Series/Report Name or Number

Coordinated Science Laboratory Report no. UILU-ENG-11-2201, CRHC-11-01

Type of Resource

text

Language

English

Permalink

http://hdl.handle.net/2142/74619

Sponsor(s)/Grant Number(s)

National Science Foundation

Owning Collections