Skip to content
STIMSMITH

Architecture Specification Language (ASL)

CodeArtifact
First seen 8/18/2026
Last seen 8/18/2026
Evidence 3 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

4 connections
ISA-Formal ← uses 100% 2e
ISA-Formal translates ARM's Architecture Specification Language (ASL) into Verilog for verification.
ARM Architecture Reference Manual implements → 90% 2e
ASL is the formal language used to write the ARM Architecture Reference Manuals.
Architecture Explorer ← uses 90% 1e
Architecture Explorer translates ASL specifications from ARM Architecture Reference Manuals to Verilog.
ARM Limited ← uses 95% 1e
ARM Limited uses ASL as the language for its architecture specifications.