Assertion-based Verification for Analog and Mixed Signal Designs Author(s): Srinivas Aluri Year: 2017 Download