Publications

2 results for Aharon Aharon

Test program generation for functional verification of PowerPC processors in IBM
- - Aharon Aharon
  - Dave Goodman
  - et al.
- 1995
- DAC 1995
Model based test generation for processor verification
- - Yossi Lichtenstein
  - Yossi Malka
  - et al.
- 1994
- IAAI 1994