Skip to content
STIMSMITH
Concept

Concept

4932 entities
#
1
post-silicon validation
19
2
Scoreboard
19
3
RISC-V Instruction Set Architecture
19
4
SystemC
19
5
superscalar processor
19
6
BOOM
19
7
bounded model checking
19
8
Fuzzing
19
9
Control Register Coverage
18
10
Constrained-Random Stimulus Generation
18
11
Compliance Testing
18
12
Random Instruction Generator
18
13
SystemVerilog Assertions
18
14
Reward Function
18
15
program counter
18
16
seed generation
18
17
Virtual Prototype (VP)
18
18
Stimuli Generation
18
19
negative testing
17
20
Instruction Stream Generator
17
21
FPGA Emulation
17
22
Register Coverage
17
23
pipelining
17
24
CSR-transition coverage
17
25
Program Counter (PC)
17
26
Rocket Core
17
27
pipelined processor
17
28
instruction encoding
17
29
RTL (Register Transfer Level)
17
30
Direct Instruction Injection
17
31
line coverage
16
32
CPU Fuzzing
16
33
System On Chip
16
34
Chisel HDL
16
35
Directed Test Generation
16
36
memory management unit
16
37
Control and Status Register
16
38
Constraint Solver
16
39
positive testing
15
40
Coverage Model
15
41
UVM environment
15
42
Formal ISA Model
15
43
Test Template Language
15
44
intermediate representation
15
45
Cross-Level Processor Verification
15
46
Pipeline Verification
15
47
condition coverage
15
48
Ibex
15
49
RTL Design
15
50
Micro-Event Graph
14
51
Constrained-Random Verification (CRV)
14
52
Cross-Level Verification
14
53
illegal instruction handling
14
54
Multiprocessor Verification
14
55
bug injection
14
56
random test generation
14
57
Program Trace
14
58
mismatch detection
14
59
RVFI
14
60
Architectural Model
14
61
PowerPC Architecture
14
62
C Program Generation
14
63
branch predictor
14
64
Fuzzing Corpus
14
65
GhostWrite
14
66
hardware coverage
14
67
golden model
14
68
Lockstep Co-Simulation
14
69
UVM testbench
14
70
Transition Unit
13
71
CPU Verification
13
72
UVM scoreboard
13
73
VHDL
13
74
Test Program Generator
13
75
Mux Toggle Coverage
13
76
Benchmark Suite
13
77
Constrained Random Instruction Generation
13
78
Rocket
13
79
extended ISA trace log
13
80
Model-based Test Generation
13
81
Transient Execution Attack
13
82
Rocket Core
13
83
RISC-V Formal Interface
13
84
Fault Injection
13
85
Test Vector Generation
13
86
Transition Map
12
87
ARMv8
12
88
Open Vector Interface (OVI)
12
89
Electronic Design Automation
12
90
Execution Trace
12
91
privilege mode
12
92
Macro Instruction (MI)
12
93
Independent Support
12
94
SystemVerilog HDL
12
95
Instruction Semantics
12
96
Prior-Processor Tests
12
97
Compliance Test-suite
12
98
Superscalar Out-of-Order Processor
12
99
Write Port Contention
12
100
instruction/data stream generation
12
100 of 4932 shown
← prev page 2 of 50 next →