Skip to content
STIMSMITH
Concept

Concept

4932 entities
#
1
bounds checking
2
2
instruction pipeline
2
3
Coverage Subsets
2
4
capability mode bit
2
5
safe speculation
2
6
Corner Case Scenario Generation
2
7
do_genelfs_for_questa.py
2
8
out-of-order core
2
9
Morello
2
10
opcode category partitioning
2
11
concrete classification level
2
12
abstract classification level
2
13
class classification level
2
14
Memory Protection Unit
2
15
Black Box Test Specification
2
16
Control Expression (CExpr)
2
17
do_compare_cascade_difuzzrtl_modelsim.py
2
18
OR1200 Wrapper
2
19
OR1200 TB
2
20
Silicon Bring-Up
2
21
self-equivalence with don't-cares
2
22
SoC Pre-Silicon Verification
2
23
Write-Write Collision
2
24
Load/Store Instruction Generation
2
25
Link Register
2
26
Trace Log File Comparison
2
27
Data Dependency Analysis
2
28
loop snippet
2
29
Stack Pointer
2
30
Mode Transition Verification
2
31
Lock-Step Compare
2
32
anti-fuzzing
2
33
anti-emulation
2
34
Instruction Cache Miss Rate (ICMR)
2
35
emulator detection
2
36
ExclusiveMonitorsPass function
2
37
hierarchical leakage analysis
2
38
conditional branch snippet
2
39
design_repos.json
2
40
power state transition
2
41
APSR status register
2
42
Exceptions and Interrupts
2
43
PCIe interaction
2
44
Assumption-based Pruning
2
45
Verification IP Reuse
2
46
reset signal
2
47
STREXH instruction
2
48
T16 instruction set
2
49
Transaction Coverage
2
50
machine check exception
2
51
Elitism
2
52
speculative memory operation
2
53
Data Cache Miss Rate
2
54
Full-Load Testing
2
55
SMT-based formal verification
2
56
Fuzzing Payload
2
57
special purpose registers
2
58
Page Based Virtual Memory Testing
2
59
Symbolic Binary Simulation
2
60
forward-latent errata
2
61
MOESI Cache States
2
62
Model Specific Register
2
63
Assertions in Instruction Sequences
2
64
Test Generator Knobs and Weights
2
65
glitchy_decode
2
66
Atomic Operations Testing
2
67
Dekker Memory Ordering
2
68
Machine Learning for Fuzzing
2
69
Built-In Self-Test (BIST)
2
70
Performance Monitoring Counters (PMCs)
2
71
convex polygon solution region
2
72
Zkt extension
2
73
DIVUW instruction
2
74
REMW instruction
2
75
False-Share Memory Stress Testing
2
76
Path Explosion Problem
2
77
CompareForContainment Function
2
78
Spatial Locality
2
79
Firmware-First Testing
2
80
Instruction Decoder Verification
2
81
RV64IMAC
2
82
virtual machine guest context
2
83
Transistor-Level Verification
2
84
higher-order logic
2
85
epex-formal-rv32-model
2
86
Device Tree Blob
2
87
VirtIO
2
88
riscv_core_setting.sv
2
89
Fault Reporting Issue
2
90
Privilege Levels in RISC-V
2
91
Coverage Bins
2
92
memory fence instruction
2
93
memory-mapped element interaction
2
94
Directives File
2
95
SMM
2
96
data dependency stimulus
2
97
riscv_instr_gen_config
2
98
Type System
2
99
vDSO
2
100
Floating-Point Control and Status Register
2
100 of 4932 shown
← prev page 31 of 50 next →