Extending Proven Digital Verification Techniques for Mixed-Signal SoCswith VCS AMS Author(s): Helene Thibieroz, Adiel Khan, Pierluigi Daglio, and Gernot Koch Download