Evaluating and Constraining Hardware Assertions with Absent Scenarios
Published In
Journal of Computer Science and Technology
Document Type
Citation
Publication Date
10-1-2020
Abstract
Mining from simulation data of the golden model in hardware design verification is an effective solution to assertion generation. While the simulation data is inherently incomplete, it is necessary to evaluate the truth values of the mined assertions. This paper presents an approach to evaluating and constraining hardware assertions with absent scenarios. A Belief-failRate metric is proposed to predict the truth/falseness of generated assertions. By considering both the occurrences of free variable assignments and the conflicts of absent scenarios, we use the metric to sort true assertions in higher ranking and false assertions in lower ranking. Our Belief-failRate guided assertion constraining method leverages the quality of generated assertions. The experimental results show that the Belief-failRate framework performs better than the existing methods. In addition, the assertion evaluating and constraining procedure can find more assertions that cover new design functionality in comparison with the previous methods.
Rights
© 2020 Springer Nature
Locate the Document
DOI
10.1007/s11390-020-9708-x
Persistent Identifier
https://archives.pdx.edu/ds/psu/34463
Citation Details
Chao, H.-N., Li, H.-W., Song, X., Wang, T.-C., & Li, X.-W. (2020). Evaluating and Constraining Hardware Assertions with Absent Scenarios. Journal of Computer Science and Technology, 35(5), 1198–1216. https://doi.org/10.1007/s11390-020-9708-x