Утверждение - это программная конструкция, в которой разработчик заявляет («утверждает») условие, которое, по его мнению, всегда будет истинным. Если условие оценивается как ложное, на некоторых языках выдается исключение, на других печатается сообщение, а на других языках программа перестает работать.

Утверждения могут существовать в большинстве языков высокого уровня (C, Java и т. Д.), А также в языках регистров-переносов (RTL), таких как Verilog, System Verilog и VHDL.