Category: analog and mixed-signal full-chip verification