Technique
Technique
1259 entities#
1 Predicate Abstraction
2 2 $dumpvars
2 3 Non-Interference and Information Flow Analysis
2 4 Direct instantiation unit testbench
2 5 Divide-and-Conquer Strategy
2 6 nearest-value resource allocation for verification
2 7 Batch Packaging
2 8 Static Branch Generation
2 9 Squash Compression
2 10 CPU execution for valid input generation
2 11 Replay Debugging
2 12 Joint Random Seed for Distributed Generation
2 13 Fault Injection Simulation
2 14 Adaptive Coverage Reward Mechanism
2 15 Illegal Instruction Interrupt Handler for Branch Completion
2 16 Branch Scenario Constraint Modeling
2 17 instruction field mutation
2 18 Direct Testing
2 19 Assertion Inference from RTL
2 20 SMT-solver State Generation
2 21 MMIO Modeling
2 22 SimPO
2 23 2-safety hyperproperty verification
2 24 Inductive Logic Programming
2 25 multi-level packing strategy
2 26 Mismatch Reporting
2 27 Relocatable Interrupt Handler
2 28 Step-and-Compare with Asynchronous Events
2 29 Cross-Level Verification
2 30 Markov Chain Monte Carlo Sampling
2 31 Symbolic Execution Co-Simulation
2 32 evolutionary test program generation
2 33 Scan-Based DfT with ATPG
2 34 user-assisted code generation
2 35 Directed Random Stimuli Generation
2 36 Missed-Bin Sampling
2 37 LLM4DV
2 38 software-assisted classification
2 39 architectural state comparison at instruction retirement
2 40 State-based Model Checking
2 41 Cascade
2 42 LLM-PVISA
2 43 LLM-PVFunc
2 44 File I/O bridge (Python to UVM)
2 45 Retrieval-Augmented Generation (RAG)
2 46 Chain-of-Thought (CoT)
2 47 Few-shot learning
2 48 Documents–Instructions–Programs CoT
2 49 Python-UVM co-verification
2 50 reverse engineering
2 51 UVM sequence
2 52 Best-Iterative-Message Sampling
2 53 Debug Mode MMIO Injection
2 54 Transaction Abstraction
2 55 Randomized Instruction Sequence Generation
2 56 automated translation from architecture specifications
2 57 Constraint-based specification
2 58 Biased Pseudorandom Dynamic Generation
2 59 Endless randomized instruction stream generation
2 60 Constraint Propagation
2 61 blacklisting instructions
2 62 Syntax-Guided Synthesis
2 63 Static MMIO Read Patching
2 64 Functional Abstraction Technique
2 65 Mismatch Reporting at Point of Failure
2 66 Assembly Program Generation
2 67 Proof-of-Concept Exploit Development
2 68 Dedicated DFI Cache
2 69 Bron-Kerbosch Maximal Clique Enumeration
2 70 Mixed Coverpoint Type-based and Pure Random Sampling
2 71 Machine code sequence generation
2 72 Cross-product Coverage Points
2 73 Basic Block Similarity Metric
2 74 Rainbow DQN
2 75 Taint Propagation
2 76 Masked Language Modeling
2 77 Differential Power Analysis
2 78 Contrastive Learning
2 79 Coverage-guided Aging Counter
2 80 Formal-assisted processor fuzzing
2 81 Profiling
2 82 Lazy Merging of Directed Streams
2 83 positive and negative testing
2 84 Object-Oriented Constraint Partitioning
2 85 step&compare
2 86 Corpus Distillation
2 87 context-free grammar specification
2 88 Physical Simulation
2 89 Hardware-based Mutation Strategies
2 90 Pseudo-Random Input Sequence Generation
2 91 Generation Stack
2 92 Coverpoint Type-based Sampling
2 93 Slow Responder Task
2 94 Fast Responder Task
2 95 Randomized Delay Injection
2 96 Instantaneous Power Consumption Simulation
2 97 Composite Current Source Models
2 98 Asynchronous Worker Threads
2 99 Cross-Pollination of Corpora
2 100 SPICE Simulation
2