Technique
Technique
1157 entities#
1 Automatic Test Pattern Generation
5 2 Randomized Instruction Stream Generation
5 3 post-silicon fuzzing
5 4 Constraint Satisfaction Problem Solving
5 5 Training Derivation Strategy
5 6 Sudoku Constraint Solving
5 7 satisfiability modulo theories
5 8 Hardware-based Seed Selection
5 9 control-flow anchors
5 10 Security-Aware Instruction Stream Post-Processing
5 11 Automated Design Inspection
5 12 AI-Driven Test Generation
5 13 reference model comparison
5 14 Large Language Models (LLMs)
5 15 UniGen
5 16 Dependency-Based Test-Case Minimization
5 17 FSM Coverage-Directed Test Generation
5 18 Test Compaction
5 19 Grammar-Based FP Instruction Sequence Generation
5 20 RISC-V assembly generation
5 21 SMT-based Constraint Solving
5 22 Cycle-Accurate Replay
5 23 Differential Execution
5 24 stimulus generation
5 25 Golden Predictor Model
5 26 communicating extended finite state machines
5 27 Constraint-Based Test Data Generation
5 28 Single Instruction Isolation with Code Minimization
5 29 FlexMem
5 30 Golden Reference Model Comparison
5 31 functional coverage measurement
5 32 positive testing
5 33 CPU-assisted test-case generation
5 34 Maintaining Arc Consistency
5 35 Mixed-level Simulation (MLS)
5 36 Code Generation
5 37 Semantic-Aware Communication
5 38 Fault Equivalence Pruning (FEP)
5 39 Loop Unrolling
5 40 Priming-Guided State Reconstruction
5 41 Machine State Detection and Restoration Mechanism
5 42 Branch-Not-Taken (BNT) Mechanism
5 43 Deep Q-Network
5 44 coverage-driven generation
5 45 Directed-Random Test Sequence Generation
5 46 Symbolic Ternary Simulation
5 47 Standard-Cell Design Flow
5 48 Correspondence Checking
5 49 Dependency Chain Generation
5 50 Probabilistic Context-Free Grammar
5 51 Leakage contracts
5 52 Variable-Group Indexing
5 53 Enhanced Havoc Mutation
5 54 reinforcement learning for language models
5 55 Protobuf-to-Bundle Conversion
5 56 Snapshot-Based Debugging
5 57 test plan generation
4 58 Directed Stimulus
4 59 Instruction Scenario Modeling
4 60 Interpretive Simulation
4 61 supervised fine-tuning
4 62 Recurrent Neural Network (RNN)
4 63 Fast Exploration Mutation
4 64 Parameterised Invariants
4 65 dependency annotation
4 66 Instruction Distillation
4 67 congestor
4 68 code-based test generation
4 69 Pre-silicon fuzzing
4 70 Binary Decision Diagrams
4 71 two-step constrained random synthesis
4 72 Coverage-Guided Mutation-Based Fuzzing
4 73 Constraint-based Random Stimuli Generation
4 74 Coverage-Directed Test Selection
4 75 Constant Time Execution Analysis
4 76 Basic Block Coverage Tracing
4 77 Tandem Verification
4 78 TCG-based Instrumentation
4 79 Ternary Simulation
4 80 structural coverage
4 81 functional test program generation
4 82 Flat Constraint Composition (FLAT)
4 83 Differential CPU Fuzzing
4 84 Upper Confidence Bound
4 85 FPGA-Accelerated Fuzzing
4 86 Multi-Armed Bandit
4 87 Model-Based Verification
4 88 Training Reduction Strategy
4 89 Equivalent Program Execution
4 90 Coverage-Driven Instruction Generation
4 91 UCB1 Algorithm
4 92 Control Flow Over-Tainting Mitigation
4 93 Decision Tree Learning
4 94 counter-based node monitoring
4 95 SystemVerilog Assertions
4 96 data-flow anchors
4 97 synchronization anchors
4 98 table mutator
4 99 Bayesian network-based test generation
4 100 event fusion
4