May 2012 * Connectivity Verification in VLSI Layout Shmuel Wimer Bar Ilan Univ., School of Engineering May 2012 * Outline Modeling connectivity Finding connected components…