Approximating checkers for simulation acceleration
- Biruk Mammo
- Debapriya Chatterjee
- et al.
- 2012
- DATE 2012
Publications
15 results for Ronny Morad
Accelerators and emulators: Can they become the platform of choice for hardware verification?
- Bashir Al-Hashimi
- Ronny Morad
- 2012
- DATE 2012
Facing the challenge of new design features: An effective verification approach
- Wisam Kadry
- Ronny Morad
- et al.
- 2011
- DAC 2011
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