Menu
Home
People
Places
Arts
History
Plants & Animals
Science
Life & Culture
Technology
Reference.org
Hardware verification language
open-in-new
<h2 id="see-also">See also</h2> <ul><li><a href="/facts/E_(verification_language)/hRaWFL4S">e</a><a class="footnote-ref" id="fnref:1" href="#fn:1"><sup>1</sup></a></li> <li><a href="/facts/SystemC/SEqgs3ka">SystemC</a><a class="footnote-ref" id="fnref:2" href="#fn:2"><sup>2</sup></a></li> <li><a href="/facts/SystemVerilog/wkBdc179">SystemVerilog</a><a class="footnote-ref" id="fnref:3" href="#fn:3"><sup>3</sup></a></li> <li><a href="/facts/Property_Specification_Language/2cGX8xlm">Property Specification Language</a><a class="footnote-ref" id="fnref:4" href="#fn:4"><sup>4</sup></a></li> <li>Python with cocotb<a class="footnote-ref" id="fnref:5" href="#fn:5"><sup>5</sup></a></li> <li>Scala with ChiselTest<a class="footnote-ref" id="fnref:6" href="#fn:6"><sup>6</sup></a></li></ul> <h2 id="references">References</h2> <ol> <li id="fn:1"><p>Iman, Sasan; Joshi, Sunita (May 8, 2007). The e Hardware Verification Language (Information Technology: Transmission, Processing & Storage). Springer. ISBN 978-1402080234. <a href="978-1402080234" target="_blank">978-1402080234</a> <a href="#fnref:1" class="footnote-back-ref">↩</a></p></li> <li id="fn:2"><p>"systemc.org". systemc.org. Retrieved 2024-09-10. <a href="https://systemc.org/" target="_blank">https://systemc.org/</a> <a href="#fnref:2" class="footnote-back-ref">↩</a></p></li> <li id="fn:3"><p>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. <a href="978-1-5044-4509-2" target="_blank">978-1-5044-4509-2</a> <a href="#fnref:3" class="footnote-back-ref">↩</a></p></li> <li id="fn:4"><p>IEEE (2005). 1850-2005 –IEEE Standard for Property Specification Language (PSL). doi:10.1109/IEEESTD.2005.97780. ISBN 0-7381-4780-X. <a href="0-7381-4780-X" target="_blank">0-7381-4780-X</a> <a href="#fnref:4" class="footnote-back-ref">↩</a></p></li> <li id="fn:5"><p>"cocotb". cocotb. Retrieved 2024-09-10. <a href="https://www.cocotb.org/" target="_blank">https://www.cocotb.org/</a> <a href="#fnref:5" class="footnote-back-ref">↩</a></p></li> <li id="fn:6"><p>"chiseltest". <a href="https://index.scala-lang.org/ucb-bar/chiseltest" target="_blank">https://index.scala-lang.org/ucb-bar/chiseltest</a> <a href="#fnref:6" class="footnote-back-ref">↩</a></p></li> </ol>