Skip to content
STIMSMITH
Concept

Concept

4823 entities
#
1
RISC-V Weak Memory Ordering (RVWMO)
1
2
Non-Blocking Cache
1
3
Low Power Mode
1
4
UVM Sequence Layer
1
5
CCSG Verilog Implementation
1
6
CVSS v3 severity scoring
1
7
riscv_core RTL Module
1
8
FPU (Floating Point Unit)
1
9
Integer Multiply/Divide Unit
1
10
Deeptrans
1
11
Rollback Capability
1
12
inter- and intra-instruction quality
1
13
Subtract Flag
1
14
Zero Flag
1
15
Carry Flag
1
16
Half Carry Flag
1
17
WebAssembly Language Specification
1
18
ADD Instruction
1
19
saturation flag
1
20
Interrupt Controller
1
21
Register Reloading Technique
1
22
architectural validation
1
23
Multi-Input Policy
1
24
Generator
1
25
Layered Testbench
1
26
combinational circuit verification
1
27
Testcase Extraction Feature
1
28
Closed-Loop Instruction Generation
1
29
sequential circuit verification
1
30
Exploration-Exploitation Tradeoff
1
31
Corner Case Biasing
1
32
data dependency hazards (RAW, WAR, WAW)
1
33
APUOP Common Definition File
1
34
Actor-Critic
1
35
Emulator Golden Reference Model
1
36
Imperas RISC-V Tests
1
37
ThunderX
1
38
Branch History Table Verification
1
39
branch resolve unit
1
40
polymorphic function wrapper
1
41
RISC-V ISA Tests
1
42
grammar-based test generation
1
43
verification coverage
1
44
fixed-point DSP
1
45
Unordered Floating-Point Reductions
1
46
buffer overflow
1
47
use-after-free
1
48
capability bounds
1
49
RISC-V SoC Verification
1
50
capability permissions
1
51
capability tag bit
1
52
RISC-V CPU Verification
1
53
monotonicity
1
54
hybrid mode
1
55
Post-Processing of Simulation Results
1
56
vstart
1
57
Generation Directive
1
58
Extended Finite State Machine
1
59
CPU Design Verification
1
60
regular expressions
1
61
auto specifier
1
62
Speculative Instruction Issue
1
63
TLM tag extension
1
64
RVVTS
1
65
Addressing Mode (SAM24/SAM31/SAM64)
1
66
COFF Format
1
67
security analysis
1
68
Precision Event Sweeping
1
69
early software development
1
70
interpreter-based ISS
1
71
Multi-Mode Operation
1
72
EBreakDbg Instruction Category
1
73
Multi-Power Domain Verification
1
74
Self-Test Libraries
1
75
B-Extension
1
76
Microcode Test Sequence
1
77
Systems-on-Chip
1
78
PowerPC
1
79
ELF
1
80
do_fuzzsingle.py
1
81
do_fuzzdesign.py
1
82
do_reducesingle.py
1
83
control flow vector
1
84
Abstract State Machine
1
85
Integer ALU
1
86
fuzzsim.py
1
87
wrapper class for sub-class constraint control
1
88
Automated Test Generation
1
89
solution distribution
1
90
AI Planning Algorithm Synthesis
1
91
Test Suite Synthesis
1
92
RV32IMAC
1
93
Unreachable Block Constraint (UBC)
1
94
FICR
1
95
DMA
1
96
Reachability Properties
1
97
Concurrent Test Execution
1
98
two-layer generator architecture
1
99
run-and-replace hint
1
100
Cold Start
1
100 of 4823 shown
← prev page 44 of 49 next →