Metric Driven Verification of Mixed-Signal Designs Author(s): Neyaz Khan, Yaron Kashai, and Hao Fang Download