Architecture Description Language
ConceptAn Architecture Description Language (ADL) is a formal notation used to capture the architecture of a processor, system-on-chip, or other computational system so that downstream artifacts can be generated or driven from a single specification. Classical processor ADLs such as EXPRESSION ADL, nML, Sim-nML, and VADL enable automated generation of software toolkits (assemblers, compilers, linkers, simulators), synthesizable HDL/RTL reference models, design-space exploration, formal-verification property suites, and ADL-driven test-program generators (e.g., the MicroTESK framework, MA2TG, and Mishra–Dutt graph-based SMV-based generation). ADLs also extend to non-classical domains such as QADL for quantum software architecture.
WIKI
Overview
An Architecture Description Language (ADL) is a language used to capture an architecture specification so that downstream design, simulation, compilation, exploration, or validation artifacts can be generated from it. In a language-driven design-space exploration flow for programmable embedded systems, the processor, coprocessor, and memory subsystem are captured using an ADL; the ADL specification is then used to generate a software toolkit including a compiler, simulator, and assembler, and to provide architectural-quality feedback to the designer. [C1]
In test-program-generation frameworks for microprocessors, an ADL serves as the input format for a translator that builds a design model and a coverage model of the microprocessor under test; test templates written in a separate template description language (TDL) then use those models to drive test-program generation. [C2]
NEIGHBORHOOD
No graph connections found for this entity yet. It may appear in future ingestion runs.
explore full graph →