A Location Analysis for Dynamic Verification
- Resource Type
- Conference
- Authors
- Nie, Jingyao; Geng, Shuqin; Peng, Xiaohong; Cao, Wenhua; Li, Pengkun; Li, Xuefeng
- Source
- 2022 3rd International Conference on Computer Vision, Image and Deep Learning & International Conference on Computer Engineering and Applications (CVIDL & ICCEA) Computer Vision, Image and Deep Learning & International Conference on Computer Engineering and Applications (CVIDL & ICCEA), 2022 3rd International Conference on. :524-527 May, 2022
- Subject
- Communication, Networking and Broadcast Technologies
Computing and Processing
Signal Processing and Analysis
Analytical models
Monte Carlo methods
Heuristic algorithms
Current measurement
Computer bugs
Probability
Sequential circuits
dynamic verification
functional verification
probabilistic analysis
timing circuit
- Language
Dynamic verification is used extensively in making sure the logical correctness of design. Coverage is often used to measure the progress of the current verification. After the coverage criteria has been met, there may still be potential bugs that have not been detected. This paper proposes a method to help engineers analyze where the potential bug is most likely to occur. We construct a cover framework and propose an algorithm to calculate the probability. Experimental results based on Monte Carlo simulation are agreed with our algorithm.