CSDL Home D DELTA 2002 Proceedings First IEEE International Workshop on Electronic Design, Test and Applications '2002
Christchurch, New Zealand
Jan. 29, 2002 to Jan. 31, 2002
Amjad Hajjar , Colorado State University
Tom Chen , Colorado State University
Statistically forecasting potential returns in terms of code coverage for a given set of test cases (patterns) to be applied to a behavioral model can improve the overall effectiveness of behavioral model verification. In this paper, we present a forecasting model for behavioral VHDL model verification. The statistical assumptions of the proposed model are based on experimental evaluation of probability distribution functions and correlation functions. Results show that the forecasting model is of high accuracy. The prediction error of the proposed forecast model in estimating the probability of new coverage is, at most, 2% from the actual probability of having coverage when predicting 1000 simulation cycles into the future. When the prediction window size increases to 10,000 simulation cycles, the expected error in predicting the probability of having coverage is 13%, at most. The marginal error in predicting the waiting time to coverage is less than +-30% in forecasting 1000 simulation cycles, and at most +-22% in forecasting 10,000 simulation cycles.
Behavioral model verification, VHDL, Statistical stopping rules
Amjad Hajjar, Tom Chen, "An Accurate Coverage Forecasting Model for Behavioral Model Verification", DELTA, 2002, Proceedings First IEEE International Workshop on Electronic Design, Test and Applications '2002, Proceedings First IEEE International Workshop on Electronic Design, Test and Applications '2002 2002, pp. 104, doi:10.1109/DELTA.2002.994597