Scarlet – Add SVA AI generated into an existing testbench