@Trevor Clarke: It's best to add it to the verilog as a "black box" entry so that it can be used for LVS. That is how I have been doing full-chip LVS, comparing the layout-extracted netlist to the top level verilog. For that, I just generate a behavioral verilog model for the analog block; if you don't feel the need to simulate the functional behavior of the block in verilog, then it can be empty. See, for example, my power-on-reset block in caravel. That is not synthesized, but is a block with analog components, with a very lightweight behavioral model, and it will pass LVS.