They are in "example_designs/verilog/verificmodels.v" and "example_designs/verilog/verificsvamodels.v".
