Computer architecture: a quantitative approach
Computer architecture: a quantitative approach
Architecture validation for processors
ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
Toward formalizing a validation methodology using simulation coverage
DAC '97 Proceedings of the 34th annual Design Automation Conference
Software transformations for sequential test generation
ATS '95 Proceedings of the 4th Asian Test Symposium
Transformation-Based Verification Using Generalized Retiming
CAV '01 Proceedings of the 13th International Conference on Computer Aided Verification
Hi-index | 0.00 |