Automatic Verification of Mixed-Signal ATE Test Programs using Device Variation. - Franziska Mayer; Christian Schott; Enrico Billich; Saeid Yazdani; Ulrich Heinkel; Georg Daler; Bernhard Ruf; Ricardo Pannuzzo; Wolfgang Dickenscheid (ITC, 2021)