| 2007 | ||
|---|---|---|
| 2 | Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled: A Framework for the Validation of Processor Architecture Compliance. DAC 2007: 902-905 | |
| 2005 | ||
| 1 | Allon Adir, Hezi Azatchi, Eyal Bin, Ofer Peled, Kirill Shoikhet: A generic micro-architectural test plan approach for microprocessor verification. DAC 2005: 769-774 | |
| 1 | Allon Adir | [1] [2] |
| 2 | Sigal Asaf | [2] |
| 3 | Hezi Azatchi | [1] |
| 4 | Eyal Bin | [1] |
| 5 | Laurent Fournier | [2] |
| 6 | Itai Jaeger | [2] |
| 7 | Kirill Shoikhet | [1] |