Zchaff2004: An Efficient SAT Solver. - Yogesh S. Mahajan; Zhaohui Fu; Sharad Malik (SAT (Selected Papers, 2004)

Verification Languages. - Aarti Gupta; Ali Alphan Bayazit; Yogesh S. Mahajan (The Industrial Information Technology Handbook, 2005)

Verification Languages. - Aarti Gupta; Ali Alphan Bayazit; Yogesh S. Mahajan (Embedded Systems Handbook, 2005)

Automating Hazard Checking in Transaction-Level Microarchitecture Models. - Yogesh S. Mahajan; Sharad Malik (FMCAD, 2007)

Verification Driven Formal Architecture and Microarchitecture Modeling. - Yogesh S. Mahajan; Carven Chan; Ali Alphan Bayazit; Sharad Malik; Wei Qin (MEMOCODE, 2007)

Supporting RTL flow compatibility in a microarchitecture-level design framework. - Daniel Schwartz-Narbonne; Carven Chan; Yogesh S. Mahajan; Sharad Malik (CODES+ISSS, 2009)

Utility of transaction-level hardware models in refinement checking. - Yogesh S. Mahajan; Sharad Malik (HLDVT, 2010)

Specification and encoding of transaction interaction properties. - Divjyot Sethi; Yogesh S. Mahajan; Sharad Malik (Formal Methods Syst. Des., 2011)