Skip to content
STIMSMITH

Specman-Elite

Tool
First seen 7/7/2026
Last seen 7/18/2026
Evidence 4 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

4 connections
A Comparison of Three Verification Techniques: Directed Testing, Pseudo-Random Testing and Property Checking ← uses 100% 2e
The paper describes using Specman Elite for pseudo-random testing.
Pseudo-Random Testing ← uses 100% 2e
Pseudo-random testing was performed using Specman Elite.
Hardware accelerated constrained random test generation ← mentions 100% 1e
Specman-Elite is mentioned as a hardware verification language supporting constrained random verification.
Verisity published by → 100% 1e
Specman Elite is a product of Verisity.