targets and config files for iverilog/gtkwave