use vcd for wave output not ghw