Technique
Technique
1157 entities#
1 Transaction Abstraction
2 2 Branch Scenario Constraint Modeling
2 3 Static Test Suite Generation
2 4 Randomized Instruction Sequence Generation
2 5 Scan-Based DfT with ATPG
2 6 Symbolic Execution Co-Simulation
2 7 Ridge Regression
2 8 Principal Component Analysis (PCA)
2 9 KMeans Clustering
2 10 RISC-V Instruction Tokenization
2 11 SMT-solver State Generation
2 12 ISS-RTL Co-Simulation
2 13 FPGA-Assisted RTL Verification
2 14 prologue and epilogue instruction insertion
2 15 Static Formal Verification
2 16 Instruction Legality Checking
2 17 backward symbolic execution
2 18 multi-level packing strategy
2 19 Cross-Level Verification
2 20 Syntax-Guided Synthesis
2 21 model checking based test generation
2 22 constraint solving for test generation
2 23 Randomized Test Generation
2 24 Reorder Buffer Monitoring
2 25 shift template composition
2 26 concatenation template composition
2 27 Logic Fuzzer Enhanced Co-simulation
2 28 RTL Symbolization
2 29 Symbolic Trajectory Evaluation (STE)
2 30 Branch Coverage Instrumentation
2 31 Encoding-Based Instruction Filtering
2 32 Executable ISA Model
2 33 Roulette Wheel Selection
2 34 k-induction
2 35 SAT-based Formal Verification
2 36 Machine Code Decompilation
2 37 Separation Logic for Machine Code
2 38 Instruction Fuzzing / Differential Testing
2 39 Alarm-Based Infinite Loop Prevention
2 40 Automatic Test Program Generation
2 41 Pseudo-Random Stimulus Generation
2 42 Evict+Time
2 43 epsilon-greedy exploration
2 44 curriculum learning
2 45 Pipelined Execution
2 46 Adam optimizer
2 47 Graph-based Functional Test Program Generation
2 48 Markov decision process
2 49 experience replay
2 50 temporal-difference learning
2 51 pipeline interaction coverage
2 52 Backward Data-Flow Analysis
2 53 PRIME+PROBE
2 54 FLUSH+RELOAD
2 55 Evolutionary algorithm-based test generation
2 56 RTL verification stimuli generation
2 57 ComputeStrip algorithm
2 58 ReCompTotWt procedure
2 59 Structure-Aware Fuzzing
2 60 Functional test constraint derivation
2 61 multi-head self-attention
2 62 static formal analysis
2 63 machine learning for test generation
2 64 gradient-based sequence update
2 65 ISA syntax correction
2 66 golden-reference model fuzzing
2 67 Formal-assisted processor fuzzing
2 68 reverse engineering
2 69 Seed Trimming
2 70 Corpus Distillation
2 71 Cross-Pollination of Corpora
2 72 Interdependent data/control-flow entangled instruction generation
2 73 Individual Aging
2 74 Elite Population Selection
2 75 Functional Abstraction Technique
2 76 Polynomial Formal Verification
2 77 FPGA Prototyping
2 78 Direct Test Generation
2 79 Genetic Algorithm Test Generation
2 80 Regression Testing
2 81 reward modeling
2 82 MMIO Modeling
2 83 Emulation-Based Fuzzing
2 84 Missed-Bin Sampling
2 85 Best-Iterative-Message Sampling
2 86 Debug Mode MMIO Injection
2 87 Biased Pseudorandom Dynamic Generation
2 88 Static MMIO Read Patching
2 89 Proof-of-Concept Exploit Development
2 90 Mixed Coverpoint Type-based and Pure Random Sampling
2 91 Machine code sequence generation
2 92 Coverpoint Type-based Sampling
2 93 Intricate program generation
2 94 ptrace-based instruction execution
2 95 multiprocessing fuzzing
2 96 random register value initialization
2 97 Formal Verification (FV)
2 98 Local Mutation Operator
2 99 FPGA-Based Hardware Emulation
2 100 Prompt Chaining
2