HVL – Hardware verification language. Examples: C/C++, e, SystemVerilog, Vera, etc.
OVM – Open verification methodology, refer to OVM World.
UVM – Unified verification methodology, refer to Accellera.
Validation – referring to functional verification of an HDL design; i.e. simulation. Gained some traction to differentiate functional simulation from formal verification. Lately, seems to be interchangeable with verification.
Verification – functional or formal verification of an HDL design, or subset thereof.
Verification hack – a verification engineer who, in the minds of everyone else out there, has a spectacularly dull life (It’s not like he’s building the Golden Gate Bridge or something exciting.–My Aunt Mildred at Thanksgiving dinner, 2005).
VMM – Verification methodology manual, refer to VMM Central.