A Hardware Description Language that is: Strongly typed Verbose Deterministic Algorithm Often used in aerospace and defense.