Axiomatic Architecture Description Language
Axiomatic Architecture Description Language
(language, architecture, parallel)(AADL) A language allowing
concise modular specification of multiprocessor
architectures from the compiler/operating-system interface
level down to chip level. AADL is rich enough to specify
target architectures while providing a concise model for
clocked microarchitectures.
["AADL: A Net-Based Specification Method for Computer Architecture Design", W. Damm et al in Languages for Parallel Architectures, J.W. deBakker ed, Wiley, 1989].
["AADL: A Net-Based Specification Method for Computer Architecture Design", W. Damm et al in Languages for Parallel Architectures, J.W. deBakker ed, Wiley, 1989].