Yogesh S. Mahajan

Automating Hazard Checking in Transaction-Level Microarchitecture Models

Sharad Malik, Yogesh S. Mahajan, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

Zchaff2004: An Efficient SAT Solver

Sharad Malik, Yogesh S. Mahajan, Zhaohui Fu, 2004, SAT (Selected Papers.

Impact of Atmospheric Parameters on Power Generation of Wind Turbine

Yogesh S. Mahajan, Ravindra B. Sholapurkar, Y. Mahajan, 2016 .

Verification Languages

Aarti Gupta, Ali Alphan Bayazit, Yogesh S. Mahajan, 2005, The Industrial Information Technology Handbook.

Verification Driven Formal Architecture and Microarchitecture Modeling

Sharad Malik, Wei Qin, Ali Alphan Bayazit, 2007, 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007).

Supporting RTL flow compatibility in a microarchitecture-level design framework

Daniel Schwartz-Narbonne, Sharad Malik, Yogesh S. Mahajan, 2009, CODES+ISSS '09.

Utility of transaction-level hardware models in refinement checking

Sharad Malik, Yogesh S. Mahajan, S. Malik, 2010, 2010 IEEE International High Level Design Validation and Test Workshop (HLDVT).

Calculation of power generation by rooftop wind turbine an experimental study

Yogesh S. Mahajan, Ravindra B. Sholapurkar, 2016 .

Specification and encoding of transaction interaction properties

Sharad Malik, Divjyot Sethi, Yogesh S. Mahajan, 2011, Formal Methods Syst. Des..

Self-Condensation of Cyclohexanone over Ion Exchange Resin Catalysts: Kinetics and Selectivity Aspects

Pramod Kumbhar, Sanjay M. Mahajani, Yogesh S. Mahajan, 2008 .

Industrial Applications of Reactive Distillation: Recent Trends

Sanjay M. Mahajani, Yogesh S. Mahajan, Nitin V. Bhate, 2004 .

Purification of tetrahydrofuran from its aqueous azeotrope by extractive distillation: Pilot plant studies

Yogesh S. Mahajan, Y. Mahajan, Onkar A. Deorukhkar, 2016 .