2026-09-15
1 items 60 entities 66 connections
Processed 60 entities and 66 relations.
DeepVerifier Coverage-Guided Verification Test Sequence Generation RISC-V ISA Simulation-Based Verification Functional Verification RTL Simulation Coverage Score Prediction Constrained Random Generation Coverage-Guided Fuzzing Gradient-Based Sequence Optimization Instruction Sequence Representation Transformer Language Model BART LSTM Multi-Head Self-Attention Sinusoidal Positional Encoding Cross-Entropy Loss Mean Square Error Loss AdamW Optimizer Mutational Fuzzing Concolic Testing Static Formal Analysis Bayesian Network GELU Activation Token Embedding FORCE-RISCV Synopsys VCS Verilator BOOM RocketChip PyTorch Hugging Face Transformers PalmTree BERT GPT RoBERTa Random Instruction Generator RISC-V Instruction Syntax Interpreter Custom RISC-V Tokenizer Coverage Score Predictor MLP Coverage Metrics Line Coverage Toggle Coverage Branch Coverage Sequential Modeling Task ELF File Control Flow Graph Yuntao Lu Chen Bai Yuxuan Zhao Ziyue Zheng Yangdi Lyu Mingyu Liu Bei Yu The Chinese University of Hong Kong The Hong Kong University of Science and Technology Huawei Technologies DeepVerifier: Learning to Update Test Sequences for Coverage-Guided Verification Concolic Testing