Shankar G. Govindaraju

Verification by approximate forward and backward reachability

David L. Dill, Shankar G. Govindaraju, 1998, ICCAD '98.

Improved approximate reachability using auxiliary state variables

David L. Dill, Shankar G. Govindaraju, Jules P. Bergmann, 1999, DAC '99.

Verification by approximate forward and backward reachability

David L. Dill, Shankar G. Govindaraju, D. Dill, 1998, 1998 IEEE/ACM International Conference on Computer-Aided Design. Digest of Technical Papers (IEEE Cat. No.98CB36287).

Approximate reachability with BDDs using overlapping projections

Alan J. Hu, Mark Horowitz, David L. Dill, 1998, Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175).

Counterexample-guided choice of projections in approximate symbolic model checking

David L. Dill, Shankar G. Govindaraju, D. Dill, 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).

DVGen: a test generator for the transmeta Efficeon VLIW processor

Robert Shaw, Shankar G. Govindaraju, Kevin D. Rich, 2005, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005..

Approximate Symbolic Model Checking using Overlapping Projections

David L. Dill, Shankar G. Govindaraju, D. Dill, 1999, SMC@FLoC.

DVGen: IncreasingCoverage by Automatically Combining TestSpecifications

Shankar G. Govindaraju, Robert Shaw, 2006 .

Floc Workshop on Symbolic Model Checking Preliminary Version Approximate Symbolic Model Checking Using Overlapping Projections

David L. Dill, Shankar G. Govindaraju, 1999 .