DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification
Rattachement africain : hk, cn, gb. Niveau de preuve : code pays fourni par la source.
Le résumé fourni par la source
Verification is critical in ensuring the reliable operation of modern, complex computing systems. However, as processor designs become increasingly sophisticated, conventional static verification techniques struggle to generate high-quality test sequences that achieve comprehensive coverage. Dynamic simulation-based approaches, which leverage coverage-driven objectives, can increase confidence in correct processor functionality but often suffer from low verification efficiency due to the generation of redundant test sequences and significant computational overhead. To address these challenges, this paper presents DeepVerifier, a novel coverage-guided test generation framework that leverages data-driven learning of existing test sequences and their associated coverage feedback. DeepVerifier uses a language model to learn the semantic representations of test sequences, ensure adherence to syntax constraints, and estimate the relationship between test sequences and coverage scores. By updating test sequences with higher coverage, DeepVerifier can significantly improve the efficiency and effectiveness of the verification process. Experimental results of verifying an out-of-order RISC-V microprocessor demonstrate that the framework accurately estimates the coverage scores of test sequences and updates high-quality sequences that contribute to higher coverage. This coverage-guided test generation technique holds promise for enhancing the reliability of modern processor designs.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Le contrôle bibliographique ouvert
DOI retrouvé dans Crossref DOI retrouvé ; titre concordant.
- Titre Crossref
- DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification
- Date Crossref
- 19/03/2026
- Éditeur
- Association for Computing Machinery (ACM)
- Type
- journal-article
Ce recoupement confirme des métadonnées liées au DOI. Il ne confirme ni la méthode ni les conclusions de l’étude, et il ne compte pas comme une seconde source scientifique indépendante.
Où se fait cette recherche
-
Chinese University of Hong Kong pays non établi dans la noticeUniversité ou école supérieure
-
Hong Kong University of Science and Technology pays non établi dans la noticeUniversité ou école supérieure
-
The Hong Kong University of Science and Technology (Guangzhou) pays non établi dans la noticeUniversité ou école supérieure
-
Huawei Technologies (China) pays non établi dans la noticeEntreprise
-
Huawei Technologies (United Kingdom) pays non établi dans la noticeEntreprise
-
Huawei Technologies Co Ltd pays non établi dans la noticeEntreprise
Chinese University of Hong Kong, Hong Kong University of Science and Technology et The Hong Kong University of Science and Technology (Guangzhou), avec 3 autres affiliations.
Une affiliation ne permet pas de déduire la nationalité d’un auteur.