Skip to content
STIMSMITH
Concept

Concept

2130 entities
#
1
Micro-SIMDization
1
2
Domain Specific Language
1
3
Branch-and-Bound
1
4
SEW (Standard Element Width)
1
5
Dynamic Programming
1
6
Subgraph Isomorphism
1
7
VL (Vector Length)
1
8
Coarse-Grained Reconfigurable Architecture
1
9
TLB Flush Logic
1
10
RAW/WAW/WAR Hazards
1
11
CHERI Concentrate Compression
1
12
custom instruction verification
1
13
arc-consistency
1
14
bare metal test harness
1
15
Microcode Test Sequences
1
16
RACE Constraint Solver
1
17
Interrupt and Exception Simulation
1
18
MMU Stress Testing
1
19
Page Table Randomization
1
20
golden model ISS
1
21
Bank Conflict
1
22
Internet-of-Things
1
23
Directed Tests
1
24
Context Switch
1
25
Pentium Floating Point bugs
1
26
FPGA Parallelism
1
27
runTestRIG.py
1
28
Processor Control Logic Verification
1
29
Miss Status Holding Registers
1
30
Transaction Abstraction Levels
1
31
RISCV-DV
1
32
Blackboxing
1
33
Functional Qualification
1
34
memory address constraining
1
35
pseudo-random test generation
1
36
handshaking mechanism
1
37
Simple Preference Optimization
1
38
Memory Agent
1
39
RVFI Agent
1
40
Virtual Sequencer
1
41
Assembly File Compilation
1
42
RV32GC
1
43
Reinforcement Learning from Human Feedback
1
44
RTL/ISS co-simulation
1
45
random RISC-V assembly test generation
1
46
microcode test sequence generation
1
47
UVM verification testbench
1
48
Random Solution Sampling
1
49
MIPS
1
50
is_branch predicate
1
51
epac2-vpu-dv
1
52
memory operation retry
1
53
Application-Set Driven Architecture Exploration
1
54
LLM
1
55
Privileged CSR Randomization
1
56
Matrix Processing Element
1
57
Inverse Discrete Cosine Transformation
1
58
Lifetime Analysis
1
59
MIPS-CPU
1
60
Diff2 Global Constraint
1
61
regular expressions
1
62
Stream Graph Scheduling
1
63
Scalar Register File
1
64
iss_wrapper
1
65
ARA Vector Processor
1
66
UVM Factory Override
1
67
Huge Domain Constraint Variables
1
68
Pipeline Performance Testing
1
69
seed-based random generation
1
70
Model-based Stimuli Generation
1
71
Translation Bias
1
72
register bypassing
1
73
Binary Decision Diagram
1
74
SoC integration
1
75
B-Extension
1
76
MIPS Processor
1
77
Alpha 21264 processor model
1
78
wrapper class architecture
1
79
Stimulus Distribution and Biasing
1
80
UVM events
1
81
Wrapper Class
1
82
Opcode Category Child Class
1
83
BDD Constraint Solver
1
84
Self-Test Libraries
1
85
functional validation
1
86
inter-instruction interaction
1
87
inter-resource interaction
1
88
UVM sequencer
1
89
isa property
1
90
BDD Solution Space Elaboration
1
91
RISC-V ISA Tests
1
92
Drop-in-Replacement Design
1
93
Imperas RISC-V Tests
1
94
Constraint Profile
1
95
Emulator Golden Reference Model
1
96
ALU
1
97
Checkpoint Table
1
98
auto specifier
1
99
Binary Decision Diagram (BDD) Solver
1
100
CHERI-256 capability format
1
100 of 2130 shown
← prev page 18 of 22 next →