Skip to content
STIMSMITH
Concept

Concept

2087 entities
#
1
microarchitectural state
4
2
cache
4
3
FPGA
4
4
T-Head C908 CPU
4
5
Misaligned Zero-Store Bug
4
6
SpacemiT X60 CPU
4
7
deterministic start
4
8
RTL simulator
4
9
Architectural CPU Vulnerability
4
10
SiFive U54 CPU
4
11
LLVMFuzzerTestOneInput
4
12
Pipeline Hazards
4
13
ELF Binary
4
14
Top-Down Stimulus Planning
4
15
Custom Mutation Procedure
4
16
Coverpoint
4
17
x language
4
18
Transaction Level Model
4
19
Multicycle Instructions
4
20
Peripheral Control Processor
4
21
Translation Buffer
4
22
Machine Learning
4
23
Instruction Fetch (IF) unit
4
24
Random Testing
4
25
Rocket Chip Generator
4
26
Post-Silicon Fuzzing
4
27
model-based testing
4
28
Term-Level Modeling
4
29
Weighted Random Instruction Selection
4
30
table mutator
4
31
fault model
4
32
instret CSR
4
33
Program Counter Capability
4
34
UCB1 (Upper Confidence Bound) algorithm
4
35
circuit-agnostic property checker
4
36
Core Adapter
4
37
medeleg CSR
4
38
Bottom-Up Instruction Space Exploration
4
39
Vectorization
4
40
Constrained-Random Testing
4
41
random test generation
4
42
Instruction Sequence Shrinking
4
43
trap handling
4
44
PMP
4
45
openC906 RTL
4
46
Randomized Instruction Generation
4
47
self-test program
4
48
Constraint Solver
4
49
Illegal Instruction Generation
4
50
Instruction Generator (InstrGen)
4
51
Refinement Map
4
52
ISA specification
4
53
BlackParrot Core
4
54
Wishbone Interface
4
55
Automated Design Inspection
4
56
Bug Detection
4
57
UVM agent
4
58
Custom Benchmark
4
59
Code Generator
4
60
remainder register
4
61
basic_arithmetic_test
4
62
Execution Trace Generation
4
63
Memory Alignment Constraint
4
64
unit testing
4
65
Mutation-Based Testing
4
66
instruction commit
4
67
memory access (MMIO)
4
68
Morpher Hardware Logic Block
4
69
State Synchronization
4
70
UVM scoreboard
4
71
monitor unit
4
72
RV32IMA
4
73
CI/CD Infrastructure
4
74
structural semantics
4
75
Program Semantic Level Mutation
4
76
Instruction Sequence Mutation
4
77
Processor Pipeline
4
78
Sequence Pattern
4
79
communication overhead
4
80
Page Table Walk
4
81
golden reference model (REF)
4
82
STR (immediate) instruction
4
83
Semantic Level Mutation
4
84
Bit-Vector Modeling
4
85
UNDEFINED instruction behavior
4
86
Execution Controller
4
87
AES-RTL (Block Implementation)
4
88
Instruction Generation
4
89
Control and Status Registers (CSRs)
4
90
opcode class
4
91
Register Renaming
4
92
Testing Knowledge Database
4
93
control logic verification
4
94
RTL-Based Execution Model (RTEM)
4
95
Processor State Coverage
4
96
Instruction Cache
4
97
Field-Level Mutation
4
98
Translation Buffer
4
99
Constraint Propagation
4
100
Jump-Starting (Warm-Up Simulation)
4
100 of 2087 shown
← prev page 5 of 21 next →