Architecture validation for processors
ISCA '95 Proceedings of the 22nd annual international symposium on Computer architecture
Validation coverage analysis for complex digital designs
Proceedings of the 1996 IEEE/ACM international conference on Computer-aided design
Micro architecture coverage directed generation of test programs
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Formal Methods in System Design - Special issue on The First Federated Logic Conference (FLOC'96), part II
Cost Evaluation of Coverage Directed Test Generation for the IBM Mainframe
ITC '01 Proceedings of the 2001 IEEE International Test Conference
Hi-index | 0.00 |