Au-delà de l’utilisation des assertions dans le process de vérification, les langages de propriétés sont aussi un moyen puissant de concevoir des composants matériels. Ces langages peuvent notamment devenir une aide puissante au débogage « on chip » d’une conception. Les outils actuellement sur le marché ont le potentiel pour y parvenir.