No built-in device voltage-rating check across corners: users hand-write a B-source per terminal pair, a .meas per pair, keep the limit table outside the tool, and re-aggregate per corner in a wrapper script, even though the limits already sit in the PDK model cards.