Skip to content
STIMSMITH

EXPRESSION ADL

Tool
First seen 6/11/2026
Last seen 8/1/2026
Evidence 12 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

9 connections
Architecture Description Language implements → 100% 4e
EXPRESSION ADL is an implementation of the Architecture Description Language concept
A Methodology for Validation of Microprocessors using Equivalence Checking ← uses 100% 2e
The paper uses EXPRESSION ADL to capture processor structure and behavior.
SMV description of DLX architecture ← derived from 100% 2e
The SMV description of the DLX processor is generated automatically from the EXPRESSION ADL specification
An Approach to Test Programs Generation for Microprocessors Based on Pipeline Hazards Templates ← mentions 95% 2e
The paper mentions EXPRESSION ADL as the specification language used by related work.
Specification-Driven Directed Test Generation for Validation of Pipelined Processors ← uses 90% 2e
Mishra and Dutt's paper uses EXPRESSION ADL as the specification language.
DLX processor evaluates → 90% 1e
EXPRESSION ADL is used to specify the DLX architecture
design space exploration uses → 90% 1e
EXPRESSION ADL supports design space exploration for processor architectures.
ADL-driven Validation Framework ← uses 100% 1e
The ADL-driven validation framework uses EXPRESSION ADL for architecture specification.
Architecture Description Language driven Functional Test Program Generation for Microprocessors using SMV ← uses 100% 1e
The paper uses EXPRESSION ADL to specify the DLX architecture