building verilated model with jtag