Hardware verification language

Hardware verification language (HVL)


 * e - aspect oriented
 * Property Specification Language (PSL)
 * Vera - now OpenVera

See also: Hardware description language (HDL)