Files in this item
Files | Description | Format |
---|---|---|
application/pdf ![]() | (no description provided) |
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 (Grant or Annual) |
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 |