Concepedia

Shobha Vasudevan

SV

24

Publications

774

Citations

18

H-Index

2005

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

The University of Texas at Austin

Intel (United States)

Shobha Vasudevan is an author at University of Illinois Urbana-Champaign specializing in engineering, software analysis, and computer science.

Top concepts

EngineeringVerificationComputer ScienceFormal VerificationProgram AnalysisFormal MethodsSoftware AnalysisComputer EngineeringSoftware TestingComputer Architecture

Publications per year

2005–2021

24

Publications

24

GoldMine: Automatic assertion generation using data mining and static analysis

Shobha Vasudevan, David Sheridan, Sanjay J. Patel et al. · 2010 · 116 citations

Program Checking, Engineering, Hardware Verification Language +25

GoldMine: automatic assertion generation using data mining and static analysis

Shobha Vasudevan, David Sheridan, Sanjay J. Patel et al. · Design, Automation, and Test in Europe · 2010 · 93 citations

Program Checking, Engineering, Hardware Verification Language +25

Mining Hardware Assertions With Guidance From Static Analysis

Samuel Hertz, David Sheridan, Shobha Vasudevan · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2013 · 92 citations

Automatic generation of instruction sequences targeting hard-to-detect structural faults in a processor

Sankar Gurumurthy, Shobha Vasudevan, Jacob A. Abraham · Proceedings/Proceedings - International Test Conference · 2006 · 52 citations

Engineering, Hardware Verification Language, Verification +24

Automated mapping of pre-computed module-level test sequences to processor instructions

Sankar Gurumurthy, Shobha Vasudevan, Jacob A. Abraham · 2006 · 44 citations

Temporal Logic Property, Engineering, Automated Mapping +24

Rows per page

1–5 of 24