Ontology-based tools in the service of hardware verification
- Eyal Bin
- Alaa Ghanayim
- et al.
- 2010
- SEKE 2010
Conference paper
Publications
4 results for Ofer Peled
A framework for the validation of processor architecture compliance
- Allon Adir
- Sigal Asaf
- et al.
- 2007
- DAC 2007
Conference paperA generic micro-architectural test plan approach for microprocessor verification
- Allon Adir
- Hezi Azatchi
- et al.
- 2005
- DAC 2005
Conference paperPiparazzi: A test program generator for micro-architecture flow verification
- A. Adir
- E. Bin
- et al.
- 2003
- HLDVT 2003
Conference paper