Concepedia

Viraj Athavale

VA

3

Publications

56

Citations

3

H-Index

2009

Active since

Affiliations

University of Illinois Urbana-Champaign(Current)

Viraj Athavale is an author at University of Illinois Urbana-Champaign specializing in engineering, computer science, and computer engineering.

Top concepts

EngineeringComputer ScienceComputer EngineeringVerificationFormal MethodsProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Architecture

Publications per year

2009–2014

3

Publications

3

Automatic generation of assertions from system level design using data mining

Lingyi Liu, David Sheridan, Viraj Athavale et al. · 2011 · 23 citations

Engineering, Verification, Computer-aided Verification +26

Acceleration of conjugate gradient method for circuit simulation using CUDA

Anirudh Maringanti, Viraj Athavale, Sachin Patkar · 2009 · 17 citations

Numerical Analysis, Engineering, Gpu Benchmarking +22

Code Coverage of Assertions Using RTL Source Code Analysis

Viraj Athavale, Sai Ma, Samuel Hertz et al. · 2014 · 16 citations

Engineering, Hardware Verification Language, Verification +21

Rows per page

1–3 of 3