If you want to use the veriloga view, you have to (or I
had to, back when I worked for a company that paid
Cadence's ransom) make a veriloga view (copy the
symbol) and bind the verilog.va code to it, and use
the Hierarchy Editor or your search view list priority /
stop view list priority to get the veriloga view instead
of the symbol view (and its referenced model) to play.
You would be best off running Spectre from the top
level config view and using Hierarchy Editor (which
will spawn if you let it) to pick -which- veriloga and
-which- spectre views to use, unless it's all very uniformly
one or the other (unlikely).