A recent case study, led by Professor Boris Murmann at Stanford University in the mixed-signal integrated circuit design research group, highlights design challenges by describing the mixed-signal verification of a digital pulse width modulator-based (PWM) ultrasound driver using the Berkeley Design® Automation Analog FastSPICE AMS mixed-signal simulator.