University of Illinois Urbana-Champaign

Submit an Item
Browse
About

Title

Author(s)

Contributor(s)

Issue Date

From:

To:

Keyword(s)

Abstract

Series/Report Name or Number

Type of Resource

Permalink

Full Text

Academic Unit

College of Engineering 38
Graduate Dissertations and Theses at Illinois 30
Dept. of Electrical and Computer Engineering 27
Coordinated Science Laboratory 7
Dept. of Computer Science 4
Directories and similar publications of the University of Illinois 1
Research publications from UIUC 1

Collection

Graduate Dissertations and Theses at Illinois 30
Dissertations and Theses - Electrical and Computer Engineering 23
Report - Coordinated Science Laboratory 7
Dissertations and Theses - Computer Science 4
Senior Theses - Electrical and Computer Engineering 4
Student Directory and Code (University of Illinois at Urbana-Champaign) 1

Author(s)

Vasudevan, Shobha 7
Athavale, Viraj 3
Kumar, Jayanand Asok 3
Ahmadyan, Seyed Nematollah 2
Hertz, Samuel 2
Jacques da Silva, Gabriela 2
Liu, Lingyi 2
Pal, Debjit 2
Sheridan, David 2
Xia, Tian 2

Keyword(s)

GoldMine 4
Data mining 3
Optimization 3
Static analysis 3
Algorithm 2
Computer Science 2
Coverage 2
Electronic Design Automation 2
Formal verification 2
Hardware 2

Type of Resource

text 25
Thesis 3
image 1
other 1

↑ ↓

Showing 1–30 of 42 items

1 (current)
2

Thumbnail for Automatic Generation of High Coverage Transient Fault Detectors Using GoldMine

Automatic Generation of High Coverage Transient Fault Detectors Using GoldMine

Athavale, Viraj; Vasudevan, Shobha

Thumbnail for Zoom Out and See Better: Scalable Message Tracing for Post-Silicon SoC Debug

Zoom Out and See Better: Scalable Message Tracing for Post-Silicon SoC Debug

Pal, Debjit; Vasudevan, Shobha

Thumbnail for Design Error Localization Using Simulation Guided Weakest Precondition

Design Error Localization Using Simulation Guided Weakest Precondition

Li, Yandong

Thumbnail for Analyzing the GoldMine Tool

Analyzing the GoldMine Tool

Akgun, Itir

Thumbnail for Word Level Predicate Generation for GoldMine

Word Level Predicate Generation for GoldMine

Xia, Tian

Thumbnail for Statistical Guarantees of Performance for MIMO Designs

Statistical Guarantees of Performance for MIMO Designs

Kumar, Jayanand Asok; Vasudevan, Shobha

Thumbnail for Duplex: Simultaneous Parameter-Performance Exploration for Optimizing Analog Circuits

Duplex: Simultaneous Parameter-Performance Exploration for Optimizing Analog Circuits

Ahmadyan, Seyed Nematollah; Vasudevan, Shobha

Thumbnail for SHARPE: Variation-Aware Formal Statistical Timing Analysis in RTL

SHARPE: Variation-Aware Formal Statistical Timing Analysis in RTL

Kumar, Jayanand Asok; Vasudevan, Shobha

Thumbnail for Evaluating Code Coverage of Assertions by Static Analysis of RTL

Evaluating Code Coverage of Assertions by Static Analysis of RTL

Athavale, Viraj; Hertz, Samuel; Vasudevan, Shobha

Thumbnail for Meta-path analysis for community detection in heterogeneous graphs with bound truth labels

Meta-path analysis for community detection in heterogeneous graphs with bound truth labels

Hasan, Aamir

Thumbnail for Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus

Towards Coverage Closure: Using GoldMine Assertions for Generating Design Validation Stimulus

Liu, Lingyi; Sheridan, David; Tuohy, William; Vasudevan, Shobha

Thumbnail for Validation and optimization of analog circuits using randomized search algorithms

Validation and optimization of analog circuits using randomized search algorithms

Ahmadyan, Seyed Nematollah

Thumbnail for MyTri: encouraging participation in a project-based social network

MyTri: encouraging participation in a project-based social network

Shah, Vinit

Thumbnail for Improved software verification through program path-based analysis

Improved software verification through program path-based analysis

Sagdeo, Parth

Thumbnail for Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions

Goldmine: An integration of data mining and static analysis for automatic generation of hardware assertions

Sheridan, David

Thumbnail for Harmonizing data mining and static analysis to tackle hardware and system level verification

Harmonizing data mining and static analysis to tackle hardware and system level verification

Liu, Lingyi

Thumbnail for Statistical guarantees of performance for RTL designs

Statistical guarantees of performance for RTL designs

Kumar, Jayanand Asok

Thumbnail for Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation

Enhancing quality of assertion generation: methods for automatic assertion generation and evaluation

Hertz, Samuel

Thumbnail for Scalable functional validation of next generation SoCs

Scalable functional validation of next generation SoCs

Pal, Debjit

Thumbnail for Effective detection of security compromises in enterprises using feature engineering

Effective detection of security compromises in enterprises using feature engineering

Duan, Jiayi

Thumbnail for Coverage analysis for assertions and emulation based verification

Coverage analysis for assertions and emulation based verification

Athavale, Viraj

Thumbnail for Detection, diagnosis and modeling of ESD-induced soft failures - a gate-level and mixed-signal approach

Detection, diagnosis and modeling of ESD-induced soft failures - a gate-level and mixed-signal approach

Jiang, Rui

Thumbnail for GeneSet MAPR: Characterization of gene sets through heterogeneous network patterns

GeneSet MAPR: Characterization of gene sets through heterogeneous network patterns

Linkowski, Gregory

Thumbnail for High quality functional coverage based trace signal selection for post-silicon validation

High quality functional coverage based trace signal selection for post-silicon validation

Ma, Sai

Thumbnail for Protocol-directed trace signal selection for post-silicon validation

Protocol-directed trace signal selection for post-silicon validation

Sharma, Abhishek

Thumbnail for Relation2vec: Contextualized network embedding for heterogeneous information networks

Relation2vec: Contextualized network embedding for heterogeneous information networks

Zeng, Ziheng

Thumbnail for Practical systems for overcoming processor imperfections

Practical systems for overcoming processor imperfections

Hicks, Matthew

Thumbnail for Algorithms for DFM in electronic design automation

Algorithms for DFM in electronic design automation

Guo, Daifeng

Thumbnail for Integrative analysis of transcriptional regulatory programs in mammalian systems

Integrative analysis of transcriptional regulatory programs in mammalian systems

Tabe Bordbar, Shayan

Thumbnail for Providing application-aware reliability through OS/hypervisor-level techniques

Providing application-aware reliability through OS/hypervisor-level techniques

Wang, Long

1 (current)
2

Contact us for questions and to provide feedback.

Your Name (optional)

Your Email (optional)

Your Comment

What is 8 + 3?

© 2023 University of Illinois Board of Trustees

Log In

I don't have an Illinois NetID

Use this login method if you don't have an @illinois.edu email address. (Oops, I do have one)

IDEALS migrated to a new platform on June 23, 2022. If you created your account prior to this date, you will have to reset your password using the forgot-password link below.

Email

Password

(I forgot my password)