SMV description of DLX architecture

CodeArtifact

First seen 8/1/2026

Last seen 8/1/2026

Evidence 7 chunks

NEIGHBORHOOD

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

3 connections

EXPRESSION ADL derived from → 100% 2e

The SMV description of the DLX processor is generated automatically from the EXPRESSION ADL specification

DLX processor implements → 100% 2e

The SMV description implements the DLX processor architecture

SMV language uses → 100% 2e

The SMV description is written in the SMV language