| |
| 2007 | ||
|---|---|---|
| 4 | EE | Yogesh S. Mahajan, Sharad Malik: Automating Hazard Checking in Transaction-Level Microarchitecture Models. FMCAD 2007: 62-65 |
| 3 | EE | 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 | EE | Yogesh S. Mahajan, Zhaohui Fu, Sharad Malik: Zchaff2004: An Efficient SAT Solver. SAT (Selected Papers 2004: 360-375 |
| 1 | Ali Alphan Bayazit | [2] [3] |
| 2 | Carven Chan | [3] |
| 3 | Zhaohui Fu | [1] |
| 4 | Aarti Gupta | [2] |
| 5 | Sharad Malik | [1] [3] [4] |
| 6 | Wei Qin | [3] |