Skip to content
STIMSMITH

Architecture Description

Technique
First seen 6/8/2026
Last seen 6/8/2026
Evidence 7 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

6 connections
Instruction Set Architecture uses → 95% 2e
The architecture description captures the ISA of the processor.
Interface Transactions uses → 85% 2e
The architecture description includes interface transaction types.
FISACO ← uses 95% 1e
FISACO takes an architecture description as input to generate properties.
Automatic Property Generation ← uses 95% 1e
Automatic property generation starts from an architecture description of the processor.
Register-Transfer Level uses → 90% 1e
The architecture description is connected to the RTL implementation via mapping functions.
Instruction Set Simulator Generation ← uses 85% 1e
Both ISS generation and property suite generation share a common architecture description.