Technique
Technique
1259 entities#
1 Seed-based randomization
1 2 unordered floating-point reduction reference model
1 3 machine learning-based test generation
1 4 Uninterpreted Functions with Equality
1 5 Stimulus Serialization
1 6 instruction-set simulation
1 7 Coverage-driven test generation
1 8 Biased randomization (weighted constraints)
1 9 sliding mutation engine
1 10 constraint-based generator
1 11 Abstract Transfer Function Derivation
1 12 Subgraph Isomorphism
1 13 Application Compilation
1 14 Graph Representation
1 15 Constraint Satisfaction-based Test Generation
1 16 Axiomatic Hardware-Software Contracts
1 17 Number Theoretic Transform
1 18 BNF-based Test Program Generation
1 19 Bayesian network stimulus generation
1 20 Meta-Tracing JIT Compilation for ISS
1 21 Instruction Set Simulator Generation
1 22 Single Static Assignment (SSA)
1 23 Random Solver
1 24 Static Binary Compilation for Noise Removal
1 25 Parallel Test Generation
1 26 Signature Register Allocation
1 27 CorrectVal Generation
1 28 Pseudocode-to-Formal-Semantics Translation
1 29 Unified en/decryption datapath
1 30 Memory reuse
1 31 Data reordering
1 32 LLM Fine-tuning for RTL
1 33 custom tracer for execution log capture
1 34 DPI-based Synchronization
1 35 SAT-solver-based test generation
1 36 Sampling&Filtering Mechanism
1 37 Load-Store Replay Mechanism
1 38 LSTM for instruction sequence modeling
1 39 positional encoding
1 40 Fast sampling techniques
1 41 mean square error loss for coverage prediction
1 42 Fuzzing for Test Generation
1 43 Error sampling
1 44 Sinusoidal Positional Encoding
1 45 Magic Instruction Generation
1 46 Instruction Shuffle
1 47 True Random Number Generator (TRNG)
1 48 Formal Property Checking via RVFI
1 49 Bidirectional LSTM
1 50 syntax-aware test case generation
1 51 Dynamic Verification
1 52 Static Verification
1 53 Sliding Window Fuzzing Strategy
1 54 Block-Based Mutation
1 55 Dictionary-Based Mutation
1 56 Linear-Feedback Shift Register (LFSR)
1 57 Window Training Packet
1 58 Real-world benchmarks
1 59 OVM (Open Verification Methodology)
1 60 Constraint-Based Initial Value Generation
1 61 Particle Swarm Optimization (PSO)
1 62 Semi-Formal Verification
1 63 coverage driven simulation
1 64 Fault Simulation
1 65 Recurrent Neural Network Stimulus Generation
1 66 feedback-guided fuzzing
1 67 dynamic instrumentation
1 68 Property-Based Verification
1 69 interpretation
1 70 just-in-time translation
1 71 Unpipelining Verification
1 72 Automatic Verification
1 73 Compositional Model Checking
1 74 constraint backtracking search
1 75 CSV-based log comparison scripts
1 76 Software-Based Self-Test
1 77 REST API Content Retrieval
1 78 Andersen's Algorithm
1 79 Constrained Random Instruction Stream Generation
1 80 Burn-In Test
1 81 Binary Decision Diagram Verification
1 82 iterative refinement
1 83 multi-agent framework
1 84 Test generation
1 85 Directed Random Verification
1 86 Mutation Adequacy
1 87 Formal Methods
1 88 Stimulus Generation via C Programs
1 89 Stimulus Generation via Assembler Programs
1 90 Virtual Prototype Verification
1 91 Maximally Diverse Interpretations
1 92 Tseitin Transformation
1 93 instruction mutation
1 94 template placement algorithm
1 95 RTL Compilation
1 96 Reduction to Propositional Logic
1 97 Test Compilation
1 98 Constrained Random Stimulus
1 99 instruction mask-based targeted fuzzing
1 100 Instruction Trace Comparison
1