Описание тега assertion

An assertion is a software construct where the developer states ("asserts") a condition that he believes will always be true. If the condition evaluates to false, in some languages an exception is thrown, in others a message is printed, and in still others the program ceases to operate.

Assertions can exist in most high-level languages (C, Java, etc...) as well as in register-transfer-languages (RTL) such as Verilog, System Verilog, and VHDL.