dtrx
edalize
myhdl
numpy
pyvcd
pyverilator-mm>=0.7.6
vcdvcd
veriloggen
wget
