DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification
PaperFirst seen 6/12/2026
Last seen 6/12/2026
Evidence 9 chunks
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →RELATIONSHIPS
29 connectionsThe paper uses FORCE-RISCV as the random instruction stream generator for producing test sequences.
The paper uses RTL models of processors as the design artifact being verified.
The paper compares DeepVerifier against simulation-based verification approaches.
The paper proposes and uses coverage-guided verification as the central framework approach.
The paper addresses functional verification of RISC-V processor designs as its primary application domain.
The paper uses RISC-V as the target architecture for its verification framework.
The paper discusses static formal analysis as an existing approach compared to the proposed DeepVerifier method.
Yuntao Lu is listed as an author of the paper DeepVerifier.
Chen Bai is listed as an author of the paper DeepVerifier.
Yuxuan Zhao is listed as an author of the paper DeepVerifier.
Ziyue Zheng is listed as an author of the paper DeepVerifier.
Yangdi Lyu is listed as an author of the paper DeepVerifier.
Mingyu Liu is listed as an author of the paper DeepVerifier.
Bei Yu is listed as an author of the paper DeepVerifier.
The paper introduces the DeepVerifier framework for coverage-guided test sequence generation.
The paper uses Synopsys VCS as an RTL simulator to capture coverage scores from test sequences.
The paper uses Verilator as an RTL simulator to capture coverage scores from test sequences.
The paper mentions BERT as a prominent deep pre-trained language model in NLP.
The paper mentions GPT as a prominent deep pre-trained language model in NLP.
The paper mentions RoBERTa as a prominent deep pre-trained language model in NLP.
The paper mentions BART as a prominent deep pre-trained language model in NLP.
The paper mentions PalmTree as a prior assembly language representation model that inspired DeepVerifier.
The paper discusses concolic testing as a competing semi-formal method for test generation.
The paper discusses coverage-guided fuzzing as a related competing approach for hardware verification.
The paper discusses Bayesian network approaches as prior ML methods for coverage modeling.
The paper discusses prior ANN-based methods for test acceleration as related work.
The paper uses coverage metrics as quantitative indicators to guide the verification process.
The paper uses machine learning techniques to address test generation challenges in hardware verification.
The paper discusses LSTM-based sequence modeling as a prior approach that DeepVerifier improves upon.