Viraj Athavale

According to our database, Viraj Athavale authored at least 5 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2014

Code Coverage of Assertions Using RTL Source Code Analysis.

Viraj Athavale, Sai Ma, Samuel Hertz, Shobha Vasudevan

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2012

Using static analysis for coverage extraction fromemulation/prototyping platforms.

Viraj Athavale, Sam Hertz, Darshan Jetly, Vijay Ganesan, Jim Krysl, Shobha Vasudevan

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011

Automatic generation of assertions from system level design using data mining.

Lingyi Liu, David Sheridan, Viraj Athavale, Shobha Vasudevan

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods and Models for Codesign, 2011

PRECIS: Inferring invariants using program path guided clustering.

Parth Sagdeo, Viraj Athavale, Sumant Kowshik, Shobha Vasudevan

Proceedings of the 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), 2011

2009

Acceleration of conjugate gradient method for circuit simulation using CUDA.

Anirudh Maringanti, Viraj Athavale, Sachin B. Patkar

Proceedings of the 16th International Conference on High Performance Computing, 2009