Schematic-driven physical verification: Fully automated solution for analog IC design. - Ahmed Arafa; Hend Wagieh; Rami Fathy Salem; John Ferguson; Doug Morgan; Mohab H. Anis; Mohamed Dessouky (SoCC, 2012)