Assertion methodologies for Verilog design

What is RTL?
RTL stands for Register Transfer Level. It is a high-level hardware description language (HDL) used for defining digital circuits. The most popular RTL languages are VHDL and Verilog.

What does VHDL stand for?
VHDL or VHSIC Hardware Description Language is a hardware description language used to design electronic systems at the component, board and system level.