Shankar G. Govindaraju

According to our database, Shankar G. Govindaraju authored at least 7 papers between 1998 and 2006.

Collaborative distances:

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

2006

DVGen: Increasing Coverage by Automatically Combining Test Specifications.

Kevin D. Rich, Robert Shaw, Shankar G. Govindaraju, David Dobrikin

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

2005

DVGen: a test generator for the transmeta Efficeon VLIW processor.

Kevin D. Rich, Shankar G. Govindaraju, Robert Shaw, David Dobrikin

Proceedings of the Tenth IEEE International High-Level Design Validation and Test Workshop 2005, Napa Valley, CA, USA, November 30, 2005

2000

Counterexample-Guided Choice of Projections in Approximate Symbolic Model Checking.

Shankar G. Govindaraju, David L. Dill

Proceedings of the 2000 IEEE/ACM International Conference on Computer-Aided Design, 2000

1999

Approximate Symbolic Model Checking using Overlapping Projections.

Shankar G. Govindaraju, David L. Dill

Proceedings of the First International Workshop on Symbolic Model Checking, 1999

Improved Approximate Reachability Using Auxiliary State Variables.

Shankar G. Govindaraju, David L. Dill, Jules P. Bergmann

Proceedings of the 36th Conference on Design Automation, 1999

1998

Verification by approximate forward and backward reachability.

Shankar G. Govindaraju, David L. Dill

Proceedings of the 1998 IEEE/ACM International Conference on Computer-Aided Design, 1998

Approximate Reachability with BDDs Using Overlapping Projections.

Shankar G. Govindaraju, David L. Dill, Alan J. Hu, Mark Horowitz

Proceedings of the 35th Conference on Design Automation, 1998