Approximating checkers for simulation acceleration
- Biruk Mammo
- Debapriya Chatterjee
- et al.
- 2012
- DATE 2012
Publications
Date
Featured collections
Popular topics
3 results for Dmitry Pidan
Combining system level modeling with assertion based verification
- Anat Dahan
- Daniel Geist
- et al.
- 2005
- ISQED 2005
Verifying Parallel Code After Refactoring Using Equivalence Checking
- Moria Abadi
- Sharon Keidar-Barner
- et al.
- 2018
- Int. J. Parallel Program