Skip to content
STIMSMITH

Raven

Tool
First seen 6/16/2026
Last seen 8/17/2026
Evidence 5 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

8 connections
LLM-based Processor Verification: A Case Study for Neuromorphic Processor ← mentions 95% 2e
The paper mentions RAVEN as a testing tool for ARM processors.
fault model uses → 90% 1e
RAVEN uses fault models to generate test programs.
MicroTESK: An Extendable Framework for Test Program Generation ← mentions 100% 1e
The paper mentions RAVEN as an example random generation tool.
Micro-processor verification using a C++11 sequence-based stimulus engine ← mentions 100% 1e
The paper mentions Raven as an industrial tool for processor test generation.
MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors ← mentions 100% 1e
The paper mentions RAVEN as a related industrial TPG tool.
Obsidian Software Inc. published by → 100% 1e
RAVEN is developed by Obsidian Software Inc.
Random Generation implements → 100% 1e
RAVEN is a random architecture verification engine that implements random generation.
simulation-based verification ← uses 85% 1e
RAVEN is a random testing tool used in simulation-based verification for ARM processors.