/sci/electronics/
../
ghdl
gtkwave
iverilog
ivi