![]() | ![]() |
| 2009 | ||
|---|---|---|
| 2 | 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 | ||
| 1 | Yogesh S. Mahajan, Carven Chan, Ali Alphan Bayazit, Sharad Malik, Wei Qin: Verification Driven Formal Architecture and Microarchitecture Modeling. MEMOCODE 2007: 123-132 | |
| 1 | Ali Alphan Bayazit | [1] |
| 2 | Yogesh S. Mahajan | [1] [2] |
| 3 | Sharad Malik | [1] [2] |
| 4 | Wei Qin | [1] |
| 5 | Daniel Schwartz-Narbonne | [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page