Chisel (https://chisel.eecs.berkeley.edu https://chisel.eecs.berkeley.edu) is an HDL built on Scala. It does hardware design and verification. Notably Chisel ha

Chisel (https://chisel.eecs.berkeley.edu https://chisel.eecs.berkeley.edu) is an HDL built on Scala. It does hardware design and verification. Notably Chisel has been used by RISC-V to create an implementation of their ISA called Rocket. MyHDL (http://www.myhdl.org http://www.myhdl.org) is an HDL build on Pyhton. It supports hardware design and verification. Cocotb (http://cocotb.readthedocs.org/en/latest/introduction.html http://cocotb.readthedocs.org/en/latest/introduction.html) is another project in Python but is purely for verification. I use Cocotb to for test benches and it is really does make HDL verification easier. As one would expect having the power the full power of language like Python available can make many tasks much easier to do. However communication overhead between Python and HDL simulator become a limiting factor for more involved test benches.