Computer organization & design: the hardware/software interface
Computer organization & design: the hardware/software interface
Test program generation for functional verification of PowerPC processors in IBM
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Functional verification methodology for microprocessors using the Genesys test-program generator
DATE '99 Proceedings of the conference on Design, automation and test in Europe
Verification of configurable processor cores
Proceedings of the 37th Annual Design Automation Conference
Coverage Metrics for Functional Validation of Hardware Designs
IEEE Design & Test
Coverage-oriented verification of banias
Proceedings of the 40th annual Design Automation Conference
A framework for the validation of processor architecture compliance
Proceedings of the 44th annual Design Automation Conference
Abstractions for Model-Based Testing
Electronic Notes in Theoretical Computer Science (ENTCS)
| Hi-index | 0.00 |