Specification Driven Analog and Mixed-Signal Verification

Author(s):
Henry Chang and Ken Kundert