Yogesh S. Mahajan

Publication Activity (10 Years)

Years Active: 2004-2011
Publications (10 Years): 0

Publications

Divjyot Sethi, Yogesh S. Mahajan, Sharad Malik
Specification and encoding of transaction interaction properties. Formal Methods Syst. Des. 39 (2) (2011)
Yogesh S. Mahajan, Sharad Malik
Utility of transaction-level hardware models in refinement checking. HLDVT (2010)
Daniel Schwartz-Narbonne, Carven Chan, Yogesh S. Mahajan, Sharad Malik
Supporting RTL flow compatibility in a microarchitecture-level design framework. CODES+ISSS (2009)
Yogesh S. Mahajan, Sharad Malik
Automating Hazard Checking in Transaction-Level Microarchitecture Models. FMCAD (2007)
Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin
Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE (2007)
Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik
Zchaff2004: An Efficient SAT Solver. SAT (Selected Papers (2004)