Add verilator support