Skip to content
STIMSMITH

EXPRESSION ADL

Tool
First seen 6/11/2026
Last seen 6/11/2026
Evidence 2 chunks

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

2 connections
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.