Here is a list of all related documentation pages:

VADL Tutorial
VADL Reference Manual
Instruction Set Simulator (ISS)
LLVM Compiler Backend (LCB)
List of Acronyms