Publications

4 results for Elena Tsanko

Post Silicon Validation of the MMU
- - Tom Kolan
  - Hillel Mendelson
  - et al.
- 2021
- DATE 2021
Post-Silicon Validation of the IBM POWER9 Processor
- - Tom Kolan
  - Hillel Mendelson
  - et al.
- 2020
- DATE 2020
Verification of transactional memory in POWER8
- - Allon Adir
  - Dave Goodman
  - et al.
- 2014
- DAC 2014
Ontology-based tools in the service of hardware verification
- - Eyal Bin
  - Alaa Ghanayim
  - et al.
- 2010
- SEKE 2010