Skip to content
STIMSMITH
20 results

Stimuli Generation

 Concept
Concept

Minimal Stimuli Generation

 Concept
Concept

Random Stimuli Generation

 Concept
Concept

Processor-level Input Stimuli Generation

 Concept
Concept

SAT-based Stimuli Generation

 Technique
Technique

Model-based Stimuli Generation

 Technique
Technique

COMS30026 Design Verification: Stimuli Generation

 Paper
Paper

Constraint-based Random Stimuli Generation for Hardware Verification

 Paper
Paper

Constraint-based Stimuli Generation

 Concept
Concept

Iterative Stimuli Generation

 Technique
Technique

Constraint-based Random Stimuli Generation

 Technique
Technique

Coverage-driven Stimuli Generation (Yang et al., 2012)

 Paper
Paper

Naive Stimuli Generation

 Technique
Technique

Test Stimuli Generation

 Technique
Technique

Algorithm 1: Minimal Stimuli Generation

 Concept
CodeArtifact

processor-level stimuli generation

 Concept
Concept

Input Stimuli Generation

 Concept
Concept

Directed Random Stimuli Generation

 Technique
Technique

RTL verification stimuli generation

 Technique
Technique

Model-based Stimuli Generation

 Concept
Concept