/pkgs/applications/science/electronics/verilog/