Adding vcd dump