![]() | ![]() |
2007 | ||
---|---|---|
1 | EE | 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] |
3 | Sharad Malik | [1] |
4 | Wei Qin | [1] |