| |
| 2003 | ||
|---|---|---|
| 2 | EE | Allon Adir, Roy Emek, Yoav Katz, Anatoly Koyfman: DeepTrans - A Model-based Approach to Functional Verification of Address Translation Mechanisms. MTV 2003: 3-6 |
| 1999 | ||
| 1 | EE | Laurent Fournier, Anatoly Koyfman, Moshe Levinger: Developing an Architecture Validation Suite: Applicaiton to the PowerPC Architecture. DAC 1999: 189-194 |
| 1 | Allon Adir | [2] |
| 2 | Roy Emek | [2] |
| 3 | Laurent Fournier | [1] |
| 4 | Yoav Katz | [2] |
| 5 | Moshe Levinger | [1] |