Hardware Verification Languages

Fonte: Wikipedia

Hardware verification language
E
E (verification language)
O
OpenVera
S
Specman
SystemC
SystemVerilog