A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Design reliability-estimation through statistical analysis of bug discovery data
Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175)
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 veri cation. 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 veri cation and good predictions of the number of bugs left in the design and the future MTTF.doi:10.1109/dac.1998.724550 fatcat:t57c3rgsebdb5mkcvmaxyxbbxa