Approximate Reachability with BDDs Using Overlapping Projections. - Shankar G. Govindaraju; David L. Dill; Alan J. Hu; Mark Horowitz (DAC, 1998)

Verification by approximate forward and backward reachability. - Shankar G. Govindaraju; David L. Dill (ICCAD, 1998)

Improved Approximate Reachability Using Auxiliary State Variables. - Shankar G. Govindaraju; David L. Dill; Jules P. Bergmann (DAC, 1999)

Approximate Symbolic Model Checking using Overlapping Projections. - Shankar G. Govindaraju; David L. Dill (SMC@FLoC, 1999)

Counterexample-Guided Choice of Projections in Approximate Symbolic Model Checking. - Shankar G. Govindaraju; David L. Dill (ICCAD, 2000)

DVGen: a test generator for the transmeta Efficeon VLIW processor. - Kevin D. Rich; Shankar G. Govindaraju; Robert Shaw; David Dobrikin (HLDVT, 2005)

DVGen: Increasing Coverage by Automatically Combining Test Specifications. - Kevin D. Rich; Robert Shaw; Shankar G. Govindaraju; David Dobrikin (HLDVT, 2006)