Jump to content

Hardware verification language

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Citation bot (talk | contribs) at 22:55, 10 September 2024 (Alter: template type, doi. Add: isbn, doi, authors 1-1. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Jay8g | Category:CS1 errors: DOI | #UCB_Category). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

A hardware verification language, or HVL, is a programming language used to verify the designs of electronic circuits written in a hardware description language. HVLs typically include features of a high-level programming language like C++ or Java as well as features for easy bit-level manipulation similar to those found in HDLs. Many HVLs will provide constrained random stimulus generation, and functional coverage constructs to assist with complex hardware verification.

SystemVerilog, OpenVera, e, and SystemC are the most commonly used HVLs. SystemVerilog attempts to combine HDL and HVL constructs into a single standard.

See also

References

  1. ^ Iman, Sasan; Joshi, Sunita (May 8, 2007). The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage). Springer. ISBN 978-1402080234.{{cite book}}: CS1 maint: date and year (link)
  2. ^ "systemc.org". systemc.org. Retrieved 2024-09-10.
  3. ^ IEEE (February 22, 2018). 1800-2017 - IEEE Standard for SystemVerilog--Unified Hardware Design, Specification, and Verification Language. doi:10.1109/IEEESTD.2018.8299595. ISBN 978-1-5044-4509-2.
  4. ^ IEEE (2005). 1850-2005 –IEEE Standard for Property Specification Language (PSL). doi:10.1109/IEEESTD.2005.97780. ISBN 0-7381-4780-X.
  5. ^ "cocotb". cocotb. Retrieved 2024-09-10.
  6. ^ "chiseltest".