Ideally, for a given HDL description, a property or properties can be proven true or false using formal mathematical methods.
Ιδανικά, για μια περιγραφή υλικού, μια ή περισσότερες ιδιότητες μπορούν να αποδειχτούν αληθείς ή ψευδείς με τη χρήση τυπικών μαθηματικών μεθόδων.