Technique
Technique
1157 entities#
1 sliding mutation engine
1 2 Stimulus Serialization
1 3 Uninterpreted Functions with Equality
1 4 Abstract Transfer Function Derivation
1 5 Axiomatic Hardware-Software Contracts
1 6 Power Scheduling
1 7 Binary Search for Address Filtering
1 8 Meta-Tracing JIT Compilation for ISS
1 9 multi-pass comparison checking
1 10 Instruction Set Simulator Generation
1 11 Single Static Assignment (SSA)
1 12 Dynamic Binary Translation
1 13 Static Binary Compilation for Noise Removal
1 14 feature randomization
1 15 Pseudocode-to-Formal-Semantics Translation
1 16 mark_vs_dirty
1 17 ldst_us_trans
1 18 ldst_stride_trans
1 19 ldst_index_trans
1 20 ldst_whole_trans
1 21 LLM Fine-tuning for RTL
1 22 custom tracer for execution log capture
1 23 DPI-based Synchronization
1 24 Random Pattern Simulation
1 25 Sequential Instruction Field Randomization
1 26 Difference-based Testing
1 27 Trace-Based Verification
1 28 Counterexample Reduction
1 29 FSM traversal based test generation
1 30 Unsat Core Computation
1 31 counter-example guided synthesis
1 32 Ackermannization
1 33 Partition Testing
1 34 Shrinking
1 35 intricate program generation for CPU fuzzing
1 36 diverse instruction construction
1 37 Property Based Testing
1 38 Cell-Based Genetic Algorithm (CGA)
1 39 co-simulation for processor fuzzing
1 40 Retargetable Code Generation
1 41 Constraint Logic Programming (CLP)
1 42 Biased-Random Simulation
1 43 unordered floating-point reduction reference model
1 44 Hierarchical Learning
1 45 Explainable AI (XAI)
1 46 Transfer Learning
1 47 Magic Instruction Generation
1 48 Instruction Shuffle
1 49 machine learning-based test generation
1 50 Formal Property Checking via RVFI
1 51 instruction-set simulation
1 52 syntax-aware test case generation
1 53 Zeng, Z.
1 54 Sliding Window Fuzzing Strategy
1 55 Real-world benchmarks
1 56 OVM (Open Verification Methodology)
1 57 dynamic instrumentation
1 58 Stimulus Graphs
1 59 instruction generation coverage model
1 60 Reinforcement Learning for Proof Generation
1 61 Formal Methods
1 62 Property-Based Verification
1 63 interpretation
1 64 stimulus-driven hardware fuzzing
1 65 model-based input generation
1 66 grammar-based input generation
1 67 Assertions
1 68 Transaction-Based Verification
1 69 Dynamic Interpolation Framework
1 70 Verification Planning
1 71 Abstract Interpretation
1 72 Direct Preference Optimization
1 73 template placement algorithm
1 74 just-in-time translation
1 75 constraint backtracking search
1 76 CSV-based log comparison scripts
1 77 Andersen's Algorithm
1 78 Directed Random Verification
1 79 Mutation Adequacy
1 80 debug mode support
1 81 Dynamic Biased Pseudo-Random Test Program Generation
1 82 Test Program Generation for Functional Verification
1 83 BDD-Based Sampling
1 84 Tseitin Encoding
1 85 Virtual Prototype Verification
1 86 random branch instruction generation
1 87 SystemVerilog Interface
1 88 Modport
1 89 Clocking Block
1 90 Maximally Diverse Interpretations
1 91 Signal Direction Control
1 92 Timing Abstraction
1 93 Reduction to Propositional Logic
1 94 Constrained Random Stimulus
1 95 Instruction Trace Comparison
1 96 illegal instruction generation
1 97 random instruction sequence generation
1 98 Lazy Page Mapping
1 99 hardware fuzz testing
1 100 language model-based fuzzer
1