In the AMS Designer simulator, the device checking feature works exactly the way it works in Spectre. You can use assert statements in your netlist to set custom characterization checks that specify the safe operating conditions for your circuit. The assert statements are supported for transient, AC, and DC analyses.
The violation data generated by the assert statements and the associated checklimit analysis is reported at the command line and is also displayed in an analog design environment (Virtuoso ADE) GUI.