Files in this item
| Files | Description | Format |
|---|---|---|
|
application/pdf  B59-CRHC_11_01.pdf (6MB) | (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 |