Hardware verification language

From EDM2
Jump to: navigation, search

Hardware verification language (HVL)

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

See also: Hardware description language (HDL)

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