Concept
Concept
4932 entities#
1 instr datatype
2 2 ARM
2 3 Register Transition Function
2 4 Verilog
2 5 data forwarding path testing
2 6 Depth-First Search
2 7 offset applier instruction
2 8 formal processor model
2 9 FISSC Benchmark
2 10 ASMcoret record
2 11 Lockstep Core
2 12 register bypassing
2 13 Freeze Variable
2 14 Non-shrinkable Sequences
2 15 Assertion-Based Testing
2 16 RISC-V instruction generation
2 17 assertSE primitive
2 18 Combinational Function
2 19 Top of Range (TOR)
2 20 software-facing verification
2 21 Algorithm 1 TGen
2 22 partially instantiated test program
2 23 RVBS
2 24 Prefetch Buffer
2 25 on-the-fly test generation
2 26 cache miss penalty
2 27 data dependency stall
2 28 Transaction-Level Model (TLM)
2 29 pipeline resource token manager
2 30 dynamic branch predictor
2 31 global state space exploration
2 32 Bit-flip Fault Effect
2 33 Synchronous Digital Circuit
2 34 Pipelined Execution
2 35 Vector Register File
2 36 Search Space Heuristics
2 37 Hardware Multithreading
2 38 Dynamic Bin Mapping
2 39 VCD Waveform Trace
2 40 Return Address Stack (RAS)
2 41 GPU instruction set
2 42 Non-overlapping Rectangles
2 43 Architectural Coverage
2 44 Genetic Programming
2 45 Graph Coloring
2 46 Loop Unrolling
2 47 loop snippet
2 48 Single Group Mapping
2 49 conditional branch snippet
2 50 Sv48
2 51 Benchmark Testing
2 52 Vector Extensions
2 53 capability compression
2 54 Invariant
2 55 Burn-In Programs
2 56 straight-line instruction sequence
2 57 Sv39
2 58 Async-Lock-Step Compare
2 59 Micro-Architectural Variables
2 60 executable semantics
2 61 Laser Fault Injection
2 62 snippet
2 63 Hypervisor Extensions
2 64 ALU Constraint Verification
2 65 instruction generation algorithm
2 66 Execution Runner
2 67 Five-Stage Pipeline CPU
2 68 CISC CPU
2 69 Attributes YAML
2 70 Program Input Generation
2 71 Test Format Spec
2 72 Coverage Group Format
2 73 Simulation-based Equivalence Checking
2 74 software compartmentalization
2 75 Operation Properties
2 76 Inevitable State
2 77 principle of least privilege
2 78 Checkpoint Map
2 79 Default Data Capability
2 80 Random Tests
2 81 Unreachable State Identification
2 82 regfile_glitches
2 83 uvm-verilator
2 84 SMV model checker
2 85 code-based test generation
2 86 Wasm Validator
2 87 opcode distribution and weighting
2 88 Electromagnetic Pulse
2 89 eBPF Bytecode Test
2 90 Jupyter notebooks
2 91 instruction field randomization
2 92 Linux ARM32 eBPF Implementation
2 93 ebpf-for-windows
2 94 Instruction Transaction Class
2 95 Register Reuse
2 96 Kernel Memory Leak
2 97 Opcode Transaction Class
2 98 Merged Sequences (MS) test set
2 99 Liveness Verification
2 100 Hello World Test
2