Add instructions for verilator.