1 paper · 1 filter
Florian Freitag, Linus Halder, Simon Himmelbauer +12
The Vienna Architecture Description Language (VADL) is a powerful processor description language (PDL) that enables the concise formal specification of processor architectures. By…