Publications
- A Framework for the Validation of Processor Architecture Compliance Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled, Proceedings of the 44th annual conference on Design Automation
- Using Automatic Detection of Misinterpretations for Validating Processor Architecture Compliance
Allon Adir, Sigal Asaf, Laurent Fournier, Itai Jaeger, Ofer Peled, IEEE 7th International Workshop on Microprocessor Test & Verification 2006 - An Automatic System for Power Architecture Compliance Validation Power Architecture Developer Conference 07