Hardware verification language: Difference between revisions
Created page with "Hardware verification language (HVL) *e - aspect oriented *Property Specification Language (PSL) *Vera - now OpenVera Category:Hardware verification languages" |
mNo edit summary |
||
| Line 1: | Line 1: | ||
Hardware verification language (HVL) | '''Hardware verification language''' (HVL) | ||
*e - aspect oriented | *e - aspect oriented | ||
| Line 5: | Line 5: | ||
*[[Vera]] - now OpenVera | *[[Vera]] - now OpenVera | ||
[[Category:Hardware | See also: [[Hardware description language]] (HDL) | ||
[[Category:Hardware Verification Languages]] | |||
Latest revision as of 20:22, 12 November 2017
Hardware verification language (HVL)
- e - aspect oriented
- Property Specification Language (PSL)
- Vera - now OpenVera
See also: Hardware description language (HDL)