Travelled to:4 × USA
Collaborated with:R.Camposano A.Kahng J.Sawicki M.Gianfagna N.Zafar A.Sharan W.H.J.Jr. J.A.Darringer D.Gajski P.O.Pistilli H.D.Man C.Harris J.Solomon R.Dahlberg J.Bernier G.Gloski A.Khan K.Patel P.Ruddy N.A.Sherwani R.Vasishta R.K.Gupta S.K.Shukla B.Bailey D.K.Beece M.Fujita C.Pixley J.O'Leary F.Somenzi D.L.Dill N.James G.Berry L.Fix H.Foster R.K.Ranjan G.Stålmarck C.Widdoes
Talks about:formal (2) verif (2) good (2) troubl (1) method (1) custom (1) around (1) where (1) prove (1) proof (1)
Person: Shishpal Rawat
DBLP: Rawat:Shishpal
Contributed to:
2006200420032002Wrote 5 papers:
- DAC-2006-RawatCKSGZS #named #proving #question
- DFM: where’s the proof of value? (SR, RC, AK, JS, MG, NZ, AS), pp. 1061–1062.
- DAC-2004-RawatJJDGPMHS
- Were the good old days all that good?: EDA then and now (SR, WHJJ, JAD, DG, POP, HDM, CH, JS), p. 543.
- DAC-2003-DahlbergRBGKPRSV #named
- COT — customer owned trouble (RD, SR, JB, GG, AK, KP, PR, NAS, RV), pp. 91–92.
- DAC-2003-GuptaRSBBFPOS #verification
- Formal verification — prove it or pitch it (RKG, SR, SKS, BB, DKB, MF, CP, JO, FS), pp. 710–711.
- DAC-2002-DillJRBFFRSW #verification
- Formal verification methods: getting around the brick wall (DLD, NJ, SR, GB, LF, HF, RKR, GS, CW), pp. 576–577.