Jump to content

Hardware verification language

From EDM2

Hardware verification language (HVL)

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

See also: Hardware description language (HDL)

Retrieved from "https://www.edm2.com/index.php?title=Hardware_verification_language&oldid=51928"