Ontology-Based Tools in the Service of Hardware Verification.
Proceedings of the 22nd International Conference on Software Engineering & Knowledge Engineering (SEKE'2010), Redwood City, San Francisco Bay, CA, USA, July 1, 2010
A Framework for the Validation of Processor Architecture Compliance.
Proceedings of the 44th Design Automation Conference, 2007
A generic micro-architectural test plan approach for microprocessor verification.
Proceedings of the 42nd Design Automation Conference, 2005
Piparazzi: a test program generator for micro-architecture flow verification.
Proceedings of the Eighth IEEE International High-Level Design Validation and Test Workshop 2003, 2003