Technique
Technique
1157 entities#
1 Feedback-Based Test Generation
2 2 Tournament Selection Self-Adaptation
2 3 Voltage Glitching
2 4 Delay Function Patching
2 5 Constraint satisfaction for random test program generation
2 6 $dumpfile
2 7 $dumpvars
2 8 Direct instantiation unit testbench
2 9 2-safety hyperproperty verification
2 10 Assembly Program Generation
2 11 context-free grammar specification
2 12 Randomized Delay Injection
2 13 Bus Arbitration Verification
2 14 Constraint Satisfaction Problem (CSP) for Test Generation
2 15 precise taint injection
2 16 data flow tracking (DFT)
2 17 Delta Code Reduction (Binary Search)
2 18 Min-Conflict Solver
2 19 Backtracking Solver
2 20 Model Checking for Test Generation
2 21 UniWit
2 22 BSAT Enumeration
2 23 constraint satisfaction for test program generation
2 24 on-the-fly test generation
2 25 stimulus injection
2 26 Static Branch Generation
2 27 Joint Random Seed for Distributed Generation
2 28 Illegal Instruction Interrupt Handler for Branch Completion
2 29 Inductive Logic Programming
2 30 evolutionary test program generation
2 31 software-assisted classification
2 32 Mismatch Reporting at Point of Failure
2 33 Basic Block Similarity Metric
2 34 Rainbow DQN
2 35 Masked Language Modeling
2 36 Contrastive Learning
2 37 step&compare
2 38 Slow Responder Task
2 39 Fast Responder Task
2 40 Fork-Based Fast Checkpointing
2 41 LightSSS
2 42 Profile-Guided Optimization
2 43 LLM-in-the-loop RTL generation
2 44 random test data generation
2 45 Constraint Handling Rules
2 46 Hardware-Based Control Flow Tracing
2 47 Directed Simulation
2 48 Existential Quantification
2 49 Pseudo-Random Generator (PRG) Constraint Optimization
2 50 Bayesian Network
2 51 Static Code Analysis
2 52 Compositional Reasoning
2 53 Predicate Abstraction
2 54 Non-Interference and Information Flow Analysis
2 55 nearest-value resource allocation for verification
2 56 CPU execution for valid input generation
2 57 Assertion Inference from RTL
2 58 SimPO
2 59 Markov Chain Monte Carlo Sampling
2 60 State-based Model Checking
2 61 Bron-Kerbosch Maximal Clique Enumeration
2 62 Differential Power Analysis
2 63 Physical Simulation
2 64 Pseudo-Random Input Sequence Generation
2 65 Instantaneous Power Consumption Simulation
2 66 SPICE Simulation
2 67 Threshold Implementation
2 68 SVA Property Synthesis
2 69 Smart Coordination
2 70 Feedback-Driven Coordination
2 71 Semantic Seed Triage
2 72 Weight Cache Seed Scoring
2 73 Pipelined Fuzzing
2 74 failure code minimization
2 75 Deterministic Return from Interrupt Handler
2 76 Relocatable Interrupt Handler
2 77 Random Constraint-based Simulation
2 78 Parallel Simulation for Multiple Scenarios
2 79 Bundle-to-Protobuf Conversion
2 80 Batch Packaging
2 81 Squash Compression
2 82 Replay Debugging
2 83 Fault Injection Simulation
2 84 Checkpoint Differential (CDIF)
2 85 Test Vector Clustering Post-Processing
2 86 Lockstep Simulation
2 87 Step-and-Compare with Asynchronous Events
2 88 Signal Tracing
2 89 Dynamic Binary Translation (DBT)
2 90 Semantic-Aware Basic Block Encoding
2 91 Adaptive Coverage Reward Mechanism
2 92 Partial Order Reduction (POR)
2 93 Mismatch Reporting
2 94 Block-Based Mutation
1 95 UVM-Based Verification Environment
1 96 Dynamic Verification
1 97 Recurrent Neural Network Stimulus Generation
1 98 True Random Number Generator (TRNG)
1 99 test mutation
1 100 contextual bandits
1