 | 2009 |
|---|
| 5 |       | Daniel Schwartz-Narbonne,
Carven Chan,
Yogesh S. Mahajan,
Sharad Malik:
Supporting RTL flow compatibility in a microarchitecture-level design framework.
CODES+ISSS 2009: 343-352 |
| 2007 |
|---|
| 4 | | Yogesh S. Mahajan,
Sharad Malik:
Automating Hazard Checking in Transaction-Level Microarchitecture Models.
FMCAD 2007: 62-65 |
| 3 | | Yogesh S. Mahajan,
Carven Chan,
Ali Alphan Bayazit,
Sharad Malik,
Wei Qin:
Verification Driven Formal Architecture and Microarchitecture Modeling.
MEMOCODE 2007: 123-132 |
| 2005 |
|---|
| 2 |  | Aarti Gupta,
Ali Alphan Bayazit,
Yogesh S. Mahajan:
Verification Languages.
The Industrial Information Technology Handbook 2005: 1-18 |
| 2004 |
|---|
| 1 | | Yogesh S. Mahajan,
Zhaohui Fu,
Sharad Malik:
Zchaff2004: An Efficient SAT Solver.
SAT (Selected Papers 2004: 360-375 |
