Software reliability: measurement, prediction, application
Software reliability: measurement, prediction, application
Test program generation for functional verification of PowerPC processors in IBM
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Handbook of software reliability engineering
Handbook of software reliability engineering
Functional verification methodology for the PowerPC 604 microprocessor
DAC '96 Proceedings of the 33rd annual Design Automation Conference
Predicting Software Reliability
Computer
A logarithmic poisson execution time model for software reliability measurement
ICSE '84 Proceedings of the 7th international conference on Software engineering
Application of high level interface-based design to telecommunications system hardware
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
Collection and Analysis of Microprocessor Design Errors
IEEE Design & Test
Coverage Metrics for Functional Validation of Hardware Designs
IEEE Design & Test
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 |
Statistical analysis of bug discovery data is used in the software industry to check the quality of the testing process and estimate the reliability of the tested program. In this paper, we show that the same techniques are applicable to hardware design verification. We performed a study on two implementations of state-of-the-art PowerPC processors that shows that these techniques can provide quality information on the progress of verification and good predictions of the number of bugs left in the design and the future MTTF.