 | 2007 |
|---|
| 4 |       | Allon Adir,
Sigal Asaf,
Laurent Fournier,
Itai Jaeger,
Ofer Peled:
A Framework for the Validation of Processor Architecture Compliance.
DAC 2007: 902-905 |
| 2005 |
|---|
| 3 | | Merav Aharoni,
Sigal Asaf,
Ron Maharik,
Ilan Nehama,
Ilya Nikulshin,
Abraham Ziv:
Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.
IEEE Symposium on Computer Arithmetic 2005: 76-83 |
| 2004 |
|---|
| 2 | | Sigal Asaf,
Eitan Marcus,
Avi Ziv:
Defining coverage views to improve functional coverage analysis.
DAC 2004: 41-44 |
| 2003 |
|---|
| 1 | | Avi Ziv,
Merav Aharoni,
Sigal Asaf:
Solving Range Constraints for Binary Floating-Point Instructions.
IEEE Symposium on Computer Arithmetic 2003: 158-164 |
