Approximating checkers for simulation acceleration
- Biruk Mammo
- Debapriya Chatterjee
- et al.
- 2012
- DATE 2012
Publications
Date
Featured collections
Popular topics
15 results for Ronny Morad
Ontology-based tools in the service of hardware verification
- Eyal Bin
- Alaa Ghanayim
- et al.
- 2010
- SEKE 2010
IBM system z functional and performance verification using X-gen
- Torsten Schober
- Bodo Hoppe
- et al.
- 2008
- HLDVT 2008
An agile post-silicon validation methodology for the address translation mechanisms of modern microprocessors
- George Papadimitriou
- Athanasios Chatzidimitriou
- et al.
- 2017
- IEEE T-DMR
Solutions to IBM POWER8 verification challenges
- Klaus-Dieter Schubert
- John M. Ludden
- et al.
- 2015
- IBM J. Res. Dev