A framework for the validation of processor architecture compliance
- Allon Adir
- Sigal Asaf
- et al.
- 2007
- DAC 2007
Publications
Date
Featured collections
Popular topics
6 results for Sigal Asaf
Defining coverage views to improve functional coverage analysis
- Sigal Asaf
- Eitan Marcus
- et al.
- 2004
- DAC 2004
Solving constraints on the invisible bits of the intermediate result for floating-point verification
- Merav Aharoni
- Sigal Asaf
- et al.
- 2005
- ARITH 2005
FPgen - A test generation framework for datapath floating-point verification
- M. Aharoni
- S. Asaf
- et al.
- 2003
- HLDVT 2003
Solving range constraints for binary floating-point instructions
- Abraham Ziv
- Merav Aharoni
- et al.
- 2003
- ARITH 2003
Towards a GDPR compliant way to secure European cross border Healthcare Industry 4.0
- Xabier Larrucea
- Micha Moffie
- et al.
- 2020
- Computer Standards and Interfaces